Login / Signup
Conter Machines: Decidable Properties and Applications to Verification Problems.
Oscar H. Ibarra
Jianwen Su
Zhe Dang
Tevfik Bultan
Richard A. Kemmerer
Published in:
MFCS (2000)
Keyphrases
</>
np complete
computational complexity
expert systems
optimization problems
desirable properties
data mining
artificial intelligence
application domains
model checking
benchmark problems
structural properties
problems involving