Boolean Rings for Intersection-Based Satisfiability.
Nachum DershowitzJieh HsiangGuan-Shieng HuangDaher KaissPublished in: LPAR (2006)
Keyphrases
- conjunctive normal form
- satisfiability problem
- davis putnam logemann loveland
- boolean formula
- propositional logic
- np complete
- real valued
- boolean functions
- computational complexity
- decision procedures
- phase transition
- multi valued
- sat problem
- terminological reasoning
- stochastic local search
- reasoning problems
- special case
- decision trees