Hybrid Satisfiability Techniques.

Sandeep Kumar Singla Pradeep Kumar Jaswal

Published in: ITNG (2010)

Keyphrases

np complete
propositional logic
data sets
real world
learning algorithm
knowledge base
similarity measure
phase transition
satisfiability problem
computational properties
decision procedures
satisfiability testing