A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas.

Ramón Béjar Felip Manyà

Published in: ESCQARU (1999)

Keyphrases

search algorithm
cnf formula
np complete
max sat
neural network
knowledge representation
information retrieval
database systems
special case
constraint satisfaction problems
branch and bound
search strategies