Login / Signup
Adapting Real Quantifier Elimination Methods for Conflict Set Computation.
Maximilian Jaroschek
Pablo Federico Dobal
Pascal Fontaine
Published in:
CoRR (2015)
Keyphrases
</>
high level
quantifier elimination
databases
optimal solution
relational databases
software engineering
linear programming
heuristic search