Login / Signup
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility.
Anthony W. Lin
Rupak Majumdar
Published in:
CoRR (2020)
Keyphrases
</>
computational complexity
database systems
presburger arithmetic
search algorithm
expert systems
data exchange
global constraints