Technical Foundations of a DPLL-Based SAT Solver for Propositional Gödel Logic.
Dusan GullerPublished in: IEEE Trans. Fuzzy Syst. (2018)
Keyphrases
- sat solvers
- propositional theories
- clause learning
- propositional satisfiability
- proof procedure
- multi valued
- orders of magnitude
- sat solving
- boolean satisfiability
- sat problem
- boolean formula
- search strategies
- constraint satisfaction
- max sat
- search space
- search tree
- sat instances
- propositional logic
- automated reasoning
- horn clauses
- first order logic
- propositional formulas
- answer sets
- constraint satisfaction problems
- modal logic
- theorem prover
- logic programming
- computational problems
- industrial applications
- symmetry breaking
- cnf formula
- dynamic programming