Login / Signup
A New Method for Solving Hard Satisfiability Problems.
Bart Selman
Hector J. Levesque
David G. Mitchell
Published in:
AAAI (1992)
Keyphrases
</>
satisfiability problem
solving hard
cost function
computational complexity
np complete
combinatorial problems