Polylogarithmic-Round Interactive Proofs for coNP Collapse the Exponential Hierarchy.

Alan L. Selman Samik Sengupta

Published in: Computational Complexity Conference (2004)

Keyphrases

graphical interface
decision problems
user interaction
genetic algorithm
user friendly
conjunctive queries
theorem prover
artificial intelligence
case study
hierarchical structure
decision procedures