Login / Signup
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs.
Anika Schumann
Martin Sachenbacher
Jinbo Huang
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
graph matching
dynamic programming
management system
database
information systems
distributed systems
computer systems
learning systems
retrieval systems
closed form
graph databases
bounded treewidth
ubiquitous computing and ambient intelligence