A New Methodfor Solving HardSatisfiability Problems (1992)

by Mitchell
Venue:In Proc. AAAI-92