Login / Signup
New results on rewrite-based satisfiability procedures
Alessandro Armando
Maria Paola Bonacina
Silvio Ranise
Stephan Schulz
Published in:
CoRR (2006)
Keyphrases
</>
satisfiability problem
propositional logic
np complete
decision procedures
satisfiability testing
computational complexity
sat solving
phase transition
query rewriting
case study
bayesian networks
temporal logic
reasoning problems