Towards an Efficient Library for SAT: a Manifesto.

Enrico Giunchiglia Massimo Narizzano Armando Tacchella Moshe Y. Vardi

Published in: Electron. Notes Discret. Math. (2001)

Keyphrases

stochastic local search
satisfiability problem
phase transition
max sat
np complete
sat problem
real time
search algorithm
np hard
computationally efficient
database
genetic algorithm
boolean satisfiability