A solver for QBFs in negation normal form.
Uwe EglyMartina SeidlStefan WoltranPublished in: Constraints An Int. J. (2009)
Keyphrases
- normal form
- quantified boolean formulas
- reasoning tasks
- logic programming
- database design
- logic programs
- relational algebra
- decision procedures
- functional dependencies
- relational databases
- nested relations
- answer set programming
- semantics for logic programs
- data dependencies
- propositional satisfiability
- information content
- boolean formula
- prime implicates
- answer sets
- deductive databases
- boolean expressions
- knowledge base
- database
- propositional logic
- automated reasoning
- knowledge compilation
- datalog programs
- database management systems
- disjunctive normal form