Keyphrases
- satisfiability problem
- sat solvers
- classical logic
- search algorithm
- logic programming
- automated reasoning
- sat solving
- database systems
- boolean satisfiability
- modal logic
- risk management
- secret key
- sat problem
- multi valued
- concurrency control
- sat instances
- propositional satisfiability
- fine granularity
- computational properties
- search strategies
- data objects