Theorem Proving Based on the Extension Rule

Knowledge compilation using horn approximations

Bart Selman, Henry Kautz · National Conference on Artificial Intelligence · 1991 · 140 citations

Computing, Computer Science, Knowledge Representation +10

Resolution versus Search: Two Strategies for SAT

Irina Rish, Rina Dechter · Journal of Automated Reasoning · 2000 · 110 citations

Computing, Computer Science, Mathematics +9

Partial Instantiation Methods for Inference in First-Order Logic

John Hooker, Gabriella Rago, Vijay Chandru et al. · Journal of Automated Reasoning · 2002 · 31 citations

Computing, Computer Science, Mathematics +11

On some tractable classes in deduction and abduction

Álvaro del Val · Artificial Intelligence · 2000 · 19 citations

Computing, Computer Science, Mathematics +11