Fast and Succinct Population Protocols for Presburger Arithmetic.

Philipp Czerner Roland Guttenberg Martin Helfrich Javier Esparza

Published in: SAND (2022)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint propagation
object oriented
first order logic
cardinality constraints
functional programming
expert systems
satisfiability problem