Terminal Satisfiability in GSTE.
Yongsheng XuGuowu YangZhengwei ChangDesheng ZhengWensheng GuoPublished in: J. Appl. Math. (2014)
Keyphrases
- satisfiability problem
- propositional logic
- phase transition
- decision procedures
- np complete
- computational complexity
- satisfiability testing
- computational properties
- information retrieval
- terminological reasoning
- davis putnam logemann loveland
- quantified boolean formulas
- reasoning problems
- sat problem
- np hard
- special case
- decision trees
- learning algorithm