BerkMin: A fast and robust Sat-solver.

Eugene Goldberg Yakov Novikov

Published in: Discret. Appl. Math. (2007)

Keyphrases

sat solvers
orders of magnitude
boolean satisfiability
sat problem
propositional satisfiability
sat solving
genetic algorithm
objective function
search tree
sat instances
data structure
optimization problems
search strategies
sat encodings