Login / Signup
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility.
Anthony W. Lin
Rupak Majumdar
Published in:
CoRR (2018)
Keyphrases
</>
objective function
computational complexity
expert systems
constraint satisfaction