TY  - RPRT
TI  - Fast and Succinct Population Protocols for Presburger Arithmetic
AU  - Philipp Czerner
AU  - Roland Guttenberg
AU  - Martin Helfrich
AU  - Javier Esparza
PY  - 2023
UR  - https://arxiv.org/abs/2202.11601
ID  - 2202.11601
ER  -