Satisfiability Checking of Non-clausal Formulas Using General Matings.

Himanshu Jain Constantinos Bartzis Edmund M. Clarke

Published in: SAT (2006)

Keyphrases

special case
closely related
website
search space
real time
information retrieval
learning algorithm
artificial intelligence
knowledge base
bayesian networks
search algorithm
data model
theorem proving