C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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