Succinct Population Protocols for Presburger Arithmetic.

Michael Blondin Javier Esparza Blaise Genest Martin Helfrich Stefan Jaax

Published in: CoRR (2019)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
functional programming
constraint propagation
cardinality constraints
numerical analysis