Login / Signup
Fast and Succinct Population Protocols for Presburger Arithmetic.
Philipp Czerner
Roland Guttenberg
Martin Helfrich
Javier Esparza
Published in:
CoRR (2022)
Keyphrases
</>
presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint propagation
functional programming
artificial intelligence
high level
knowledge representation