C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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