Satisfiability solving for software verification.

David Déharbe Silvio Ranise

Published in: Int. J. Softw. Tools Technol. Transf. (2009)

Keyphrases

information retrieval
computational complexity
propositional logic
decision procedures
data sets
learning algorithm
information systems
knowledge base
website
relational databases
special case
boolean formula