Deciding Boolean Algebra with Presburger Arithmetic.
Viktor KuncakHuu Hai NguyenMartin C. RinardPublished in: J. Autom. Reason. (2006)
Keyphrases
- boolean algebra
- presburger arithmetic
- quantifier elimination
- cardinality constraints
- algebraic structure
- database schema
- functional dependencies
- deductive databases
- theorem prover
- integrity constraints
- decision procedures
- functional programming
- set theory
- entity relationship
- database
- constraint databases
- linear programming
- object oriented
- fuzzy logic