A Unified Framework for DPLL(T) + Certificates.
Min ZhouFei HeBow-Yaw WangMing GuJiaguang SunPublished in: J. Appl. Math. (2013)
Keyphrases
- np complete
- propositional logic
- sat solvers
- access control
- first order logic
- clause learning
- propositional satisfiability
- max sat
- search tree
- public key
- sat solving
- data structure
- search algorithm
- sat problem
- search strategy
- sat instances
- randomly generated
- data sets
- simulated annealing
- upper bound
- knowledge representation
- search space
- genetic algorithm
- machine learning