Title :
Proceedings 18th IEEE Annual Conference on Computational Complexity
Abstract :
The following topics are dealt with: computational complexity; randomization algorithm; quantum computing; polynomial-time approximation; proof system; information theory; satisfiability problem.
Keywords :
computability; computational complexity; information theory; polynomial approximation; quantum computing; randomised algorithms; theorem proving; computational complexity; information theory; polynomial-time approximation; proof system; quantum computing; randomization algorithm; satisfiability problem;
Conference_Titel :
Computational Complexity, 2003. Proceedings. 18th IEEE Annual Conference on
Conference_Location :
Aarhus, Denmark
Print_ISBN :
0-7695-1879-6
DOI :
10.1109/CCC.2003.1214404
