A Signal Correlation Guided Circuit-SAT Solver.

Feng Lu Li-C. Wang Kwang-Ting (Tim) Cheng John Moondanos Ziyad Hanna

Published in: J. Univers. Comput. Sci. (2004)

Keyphrases

sat solvers
duty cycle
orders of magnitude
sat solving
sat problem
propositional satisfiability
max sat
constraint satisfaction
search tree
sat instances
search space
search strategies
boolean satisfiability
boolean formula
constraint solver
genetic algorithm
search strategy
clause learning
sat encodings