Succinct Population Protocols for Presburger Arithmetic.

Michael Blondin Javier Esparza Blaise Genest Martin Helfrich Stefan Jaax

Published in: STACS (2020)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
constraint propagation
decision procedures
bayesian networks
search algorithm
satisfiability problem
functional programming