The distributed breakout algorithms

A new method for solving hard satisfiability problems

Bart Selman, Hector J. Levesque, David G. M. Mitchell · 1992 · 1.2K citations

Computing, Computer Science, Mathematics +14

Pushing the envelope: planning, propositional logic, and stochastic search

Henry Kautz, Bart Selman · 1996 · 845 citations

Computing, Decision Sciences, Knowledge Representation +7

Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems

Steven Minton, Mark Johnston, Andrew B. Philips et al. · Artificial Intelligence · 1992 · 833 citations

Computing, Industrial Engineering, Optimization +14

Noise strategies for improving local search

Bart Selman, Henry Kautz, Brain Cohen · 1994 · 761 citations

Computing, Computer Science, Algorithms +14

The distributed constraint satisfaction problem: formalization and algorithms

Makoto Yokoo, Edmund H. Durfee, Toru Ishida et al. · IEEE Transactions on Knowledge and Data Engineering · 1998 · 648 citations

Computing, Computer Science, Algorithms +13