Sign in

Fast and succinct population protocols for Presburger arithmetic.

Philipp CzernerRoland GuttenbergMartin HelfrichJavier Esparza
Published in: J. Comput. Syst. Sci. (2024)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • algebraic structure
  • decision procedures
  • constraint propagation
  • first order logic
  • cardinality constraints
  • functional programming