Login / Signup
FPL: fast Presburger arithmetic through transprecision.
Arjun Pitchanathan
Christian Ulmann
Michel Weber
Torsten Hoefler
Tobias Grosser
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint propagation
functional programming
constraint databases
first order logic
theorem proving
cardinality constraints
knowledge base
constraint satisfaction
satisfiability problem