2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices.
Witold CharatonikMichal WronaPublished in: ISMVL (2007)
Keyphrases
- sat problem
- valued logic
- satisfiability problem
- np complete
- constraint satisfaction problems
- phase transition
- propositional logic
- sat solvers
- propositional satisfiability
- fuzzy logic
- datalog programs
- randomly generated
- branch and bound
- sat instances
- fuzzy sets
- computational complexity
- machine learning
- neural network
- decision problems
- first order logic
- orders of magnitude
- logic programs
- stable models
- classical logic
- control system