@paves

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

Links and resources

Tags

community

  • @paves
  • @dblp
@paves's tags highlighted