The New Directed Hypergraph for CNF Formula of Propositional Logic.
Zhijia ZhangYang XuPublished in: ISKE (2015)
Keyphrases
- propositional logic
- cnf formula
- propositional formulas
- np complete
- davis putnam
- conjunctive normal form
- belief revision
- first order logic
- max sat
- quantified boolean formulae
- propositional satisfiability
- sat problem
- knowledge compilation
- np hard
- belief change
- horn logic
- phase transition
- tabu search
- satisfiability testing
- computational complexity