Semiring-Valued Satisfiability.
Katarina BritzJohannes HeidemaPublished in: Australian Conference on Artificial Intelligence (2003)
Keyphrases
- satisfiability problem
- max sat
- propositional logic
- phase transition
- np complete
- cnf formula
- sat problem
- satisfiability testing
- computational complexity
- decision procedures
- quantified boolean formulas
- terminological reasoning
- databases
- multi valued
- relational algebra
- temporal logic
- tabu search
- description logics
- fuzzy logic
- query language
- genetic algorithm