The boolean hierarchy of NP-partitions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1770, Issue , 2000, Pages 157-168

  Kosub, Sven ^a   Wagner, Klaus W ^a  

^a UNIVERSITY OF WÜRZBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

K-PARTITION; PARTIAL RESULTS;

ARTIFICIAL INTELLIGENCE;

EID: 84944041526     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46541-3_13     Document Type: Conference Paper

References (8)

1. J.-Y. Cai, T. Gundermann, J. Hartmanis, L. A. Hemachandra, V. Sewelson, K. W. Wagner, and G. Wechsung. The boolean hierarchy I: Structural properties. SIAM Journal on Computing, 17(6):1232-1252, 1988.
2. J.-Y. Cai and L. Hemachandra. The Boolean hierarchy: hardware over NP. In Proceedings 1st Structure in Complexity Theory Conference, volume 223 of Lecture Notes in Computer Science, pages 105-124. Springer-Verlag, 1986.
3. G. Grätzer. General Lattice Theory. Akademie-Verlag, Berlin, 1978.
4. L. A. Hemaspaandra, A. Hoene, A. V. Naik, M. Ogihara, A. L. Selman, T. Thierauf, and J. Wang. Nondeterministically selective sets. International Journal of Foundations of Computer Science, 6(4):403-416, 1995.
5. U. Hertrampf. Locally definable acceptance types – the three-valued case. In Proceedings 1st Latin American Symposium on Theoretical Informatics, volume 583 of Lecture Notes in Computer Science, pages 262-271, Berlin, 1992. Springer-Verlag.
6. J. Kadin. The polynomial time hierarchy collapses if the Boolean hierarchy collapses. SIAM Journal on Computing, 17(6):1263-1282, 1988. Erratum in same journal 20(2):404, 1991.
7. J. Köbler, U. Schöning, and K. W. Wagner. The difference and truth-table hierarchies for NP. RAIRO Theoretical Informatics and Applications, 21(4):419-435, 1987.
8. K. W. Wagner and G. Wechsung. On the boolean closure of NP. Extended abstract as: G. Wechsung. On the boolean closure of NP. Proceedings 5th International Conference on Fundamentals in Computation Theory, volume 199 of Lecture Notes in Computer Science, pages 485-493, Berlin, 1985.