Guess-and-verify versus unrestricted nondeterminism for OBDDs and one-way Turing machines.

Martin Sauerhoff

Published in: J. Comput. Syst. Sci. (2003)

Keyphrases

turing machine
model checking
boolean functions
temporal logic
verification method
ordered binary decision diagrams
information retrieval
expert systems
search space
prior knowledge
scheduling problem