A Partial Instantiation based First Order Theorem Prover (2007)
Vijay Chandru, John Hooker, Anjul Shrivastava, Gabriela Rago
Satisfiability algorithms for propositional logic have improved enormously in recent years. This increases the attractiveness of satisfiability methods for first order logic that reduce the problem...