Inproceedings,

Fast and Succinct Population Protocols for Presburger Arithmetic

, , , and .
1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference, volume 221 of LIPIcs, page 11:1--11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (April 2022)
DOI: 10.4230/LIPIcs.SAND.2022.11

Meta data

Tags

Users

  • @paves
  • @dblp

Comments and Reviews