New results on rewrite-based satisfiability procedures.

Alessandro Armando Maria Paola Bonacina Silvio Ranise Stephan Schulz

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

np complete
satisfiability problem
propositional logic
case study
query rewriting
decision procedures
real time
computational complexity
rewrite rules
genetic algorithm
social networks
decision trees
relational databases
search heuristics
satisfiability testing