A New Method for Solving Hard Satisfiability Problems (1992)

by Bart Selman , Hector Levesque , David Mitchell
Venue:AAAI
Citations:682 - 21 self