Solving Satisfiability with Less Searching.

Published in: IEEE Trans. Pattern Anal. Mach. Intell. (1984)

Keyphrases

satisfiability problem
np complete
stochastic local search
data sets
databases
combinatorial optimization
solving problems
sat encodings
sat solving
digital libraries
search strategies
sat instances
davis putnam logemann loveland