Login / Signup
SBSAT: a State-Based, BDD-Based Satisfiability Solver.
John V. Franco
Michal Kouril
John S. Schlipf
Jeffrey Ward
Sean A. Weaver
Michael R. Dransfield
W. Mark Vanfleet
Published in:
SAT (2003)
Keyphrases
</>
state space
satisfiability problem
propositional logic
genetic algorithm
learning algorithm
computational complexity
evolutionary algorithm
np complete
sat solving