Login / Signup
Partial Quantifier Elimination and Property Generation.
Eugene Goldberg
Published in:
CAV (2) (2023)
Keyphrases
</>
quantifier elimination
constraint propagation
first order logic
functional programming
presburger arithmetic
constraint databases
cardinality constraints
databases
transitive closure