Extending the Reach of SAT with Many-Valued Logics.
Ramón BéjarAlba CabiscolCèsar FernándezFelip ManyàCarla P. GomesPublished in: Electron. Notes Discret. Math. (2001)
Keyphrases
- modal logic
- truth values
- sat solvers
- temporal logic
- satisfiability problem
- expressive power
- search algorithm
- boolean satisfiability
- inference rules
- propositional satisfiability
- classical logic
- default logic
- neural network
- stochastic local search
- nonmonotonic logics
- sat problem
- phase transition
- search strategies
- variable ordering
- stochastic local search algorithms
- epistemic logic
- aggregation functions
- conditional logic
- planning problems
- model checking
- optimal solution
- data mining