Locating the phase transition in binary constraint satisfaction problems

Increasing tree search efficiency for constraint satisfaction problems

Robert M. Haralick, Gordon L. Elliott · Artificial Intelligence · 1980 · 1.1K citations

Computing, Computer Science, Algorithms +13

Where the really hard problems are

Peter Cheeseman, Bob Kanefsky, William M. Taylor · 1991 · 1K citations

Computing, Computer Science, Mathematics +14

Hard and easy distributions of SAT problems

David G. M. Mitchell, Bart Selman, Hector J. Levesque · National Conference on Artificial Intelligence · 1992 · 807 citations

Computing, Computer Science, Algorithms +8

Critical Behavior in the Satisfiability of Random Boolean Expressions

Scott Kirkpatrick, Bart Selman · Science · 1994 · 598 citations

Computing, Computer Science, Mathematics +13

Network-based heuristics for constraint-satisfaction problems

Rina Dechter, Judea Pearl · Artificial Intelligence · 1987 · 591 citations

Computing, Decision Sciences, Algorithms +11