An empirical study of phase transitions 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

Mathematical Programming, Constraint Solving, Engineering +7

Where the really hard problems are

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

Algorithms for constraint-satisfaction problems: a survey

Vipin Kumar · AI Magazine · 1992 · 886 citations

Mathematical Programming, Artificial Intelligence, Engineering +16

Partial constraint satisfaction

Eugene C. Freuder, Richard J. Wallace · Artificial Intelligence · 1992 · 609 citations

Constraint Solving, Engineering, Constraint Satisfaction +7

Critical Behavior in the Satisfiability of Random Boolean Expressions

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

Circuit Complexity, Engineering, Boolean Function +17