MPG.eBooks - Search Results - ("prover" OR "proves")

Search alternatives:
"prover" » "proven", "proved", "grover"
"proves" » "proven", "proved", "improves"

Cover Image

1

STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings

Published 2003

Springer Berlin Heidelberg

Table of Contents: “...Competing Provers Yield Improved Karp-Lipton Collapse Results -- One Bit of Advice -- Strong...”