Boolean Ring Satisfiability.
Nachum DershowitzJieh HsiangGuan-Shieng HuangDaher KaissPublished in: SAT (2004)
Keyphrases
- conjunctive normal form
- satisfiability problem
- boolean formula
- davis putnam logemann loveland
- real valued
- boolean functions
- terminological reasoning
- np complete
- propositional logic
- phase transition
- reasoning problems
- satisfiability testing
- learning algorithm
- real time
- sat problem
- multi valued
- stochastic local search
- computational complexity
- database systems
- quantified boolean formulas
- databases