Login / Signup
Nondeterministic Instance Complexity and Proof Systems with Advice.
Olaf Beyersdorff
Johannes Köbler
Sebastian Müller
Published in:
Electron. Colloquium Comput. Complex. (2008)
Keyphrases
</>
management system
artificial intelligence
information systems
computational complexity
intelligent systems
theorem prover
databases
retrieval systems
complex systems
learning systems
computer systems
hidden markov models
control system
expert systems
reinforcement learning
database systems
social networks