Login / Signup
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility.
Anthony W. Lin
Rupak Majumdar
Published in:
ATVA (2018)
Keyphrases
</>
computational complexity
vector space
integrity constraints