Backjumping for Quantified Boolean Logic satisfiability

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.2K citations · Full text

Computing, Computer Science, Mathematics +16

Using CSP look-back techniques to solve real-world SAT instances

Roberto J. Bayardo, Robert Schrag · 1997 · 598 citations

Computing, Computer Science, Algorithms +15

HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM

Patrick Prosser · Computational Intelligence · 1993 · 519 citations

Computing, Computer Science, Algorithms +14

Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition

Rina Dechter · Artificial Intelligence · 1990 · 484 citations

Computing, Computer Science, Algorithms +13

Resolution for Quantified Boolean Formulas

Hans Kleine Büning, Marek Karpiński, Andreas Flögel · Information and Computation · 1995 · 320 citations

Humanities, Computer Science, Mathematics +9