Login / Signup
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants.
Deepak Kapur
Zhihai Zhang
Matthias Horbach
Hengjun Zhao
Qi Lu
ThanhVu Nguyen
Published in:
Automated Reasoning and Mathematics (2013)
Keyphrases
</>
automatically generating
quantifier elimination
constraint propagation
functional programming
presburger arithmetic
first order logic
automatically generated
cardinality constraints
constraint databases
search algorithm
heuristic search
query processing
dynamic programming
temporal constraints
execution model