Some Definitorial Suggestions for Parameterized Proof Complexity.

Jörg Flum Moritz Müller

Published in: IPEC (2012)

Keyphrases

decision making
high level
computational complexity
lower complexity
database
real time
information retrieval
search engine
computer vision
case study
probabilistic model
decision problems
theorem prover