Partial Instantiation Methods for Inference in First-Order Logic

Abstract

Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-order logic that reduce the problem to a series of ground-level satisfiability problems. R. Jeroslow introduced a partial instantiation method of this kind that differs radically from… (More)
DOI: 10.1023/A:1015854101244

Topics

Cite this paper

@article{Hooker2002PartialIM, title={Partial Instantiation Methods for Inference in First-Order Logic}, author={John N. Hooker and G. Rago and V. Chandru and A. Shrivastava}, journal={Journal of Automated Reasoning}, year={2002}, volume={28}, pages={371-396} }