Incremental Determinization for Quantifier Elimination and Functional Synthesis.

Published in: CAV (2) (2019)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
first order logic
cardinality constraints
constraint databases
high level
machine learning
optimal solution
search algorithm
object oriented
linear programming
transitive closure