Login / Signup
On Satisfiability.
Richard Zippel
Published in:
ISTCS (1996)
Keyphrases
</>
satisfiability problem
phase transition
np complete
decision procedures
propositional logic
computational complexity
search algorithm
genetic algorithm
evolutionary algorithm
orders of magnitude
modal logic
cnf formula
reasoning problems
sat solving
quantified boolean formulas
propositional theories