Login / Signup
A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems.
Gaoyan Xie
Zhe Dang
Oscar H. Ibarra
Published in:
ICALP (2003)
Keyphrases
</>
computational complexity
special case
complex systems
differential equations
expert systems
pairwise
real time
mathematical model
np complete
np hard
numerical solution
formal methods
retrieval systems
knowledge based systems
web services
image processing
machine learning
databases