Solving DQBF through quantifier elimination.

Karina Gitina Ralf Wimmer Sven Reimer Matthias Sauer Christoph Scholl Bernd Becker

Published in: DATE (2015)

Keyphrases

quantifier elimination
constraint propagation
first order logic
presburger arithmetic
cardinality constraints
functional programming
artificial intelligence
machine learning
high level
database management systems
constraint databases