Title :
Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory
fDate :
June 28 1994-July 1 1994
Abstract :
The following topics were dealt with: complexity theory; set theory; satisfiability; NP hardness; NP completeness; search problems; complexity classes; and theorem proving
Keywords :
computability; computational complexity; search problems; set theory; NP completeness; NP hardness; complexity classes; complexity theory; satisfiability; search problems; set theory; theorem proving;
Conference_Titel :
Structure in Complexity Theory Conference, 1994., Proceedings of the Ninth Annual
Conference_Location :
Amsterdam, Netherlands
Print_ISBN :
0-8186-5670-0
DOI :
10.1109/SCT.1994.315824
