A New Method for Solving Hard Satisfiability Problems (1992)

by Bart Selman , Hector Levesque , David Mitchell
Venue:AAAI
Citations:681 - 20 self