Fast and succinct population protocols for Presburger arithmetic.

Philipp Czerner Roland Guttenberg Martin Helfrich Javier Esparza

Published in: J. Comput. Syst. Sci. (2024)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint propagation
first order logic
cardinality constraints
functional programming