Veröffentlichungen

 

 

 

Tagungsbände und Zeitschriften

 

  • M. Bauland, E. Böhler, N. Creignou, S. Reith, H. Schnoor, H. Vollmer The Complexity of
    Problems for Quantified Constraints, Theory of Computing Systems 47, 2010, 454 - 490
  • E. Böhler, Henning Schnoor, The Complexity of the Descriptiveness of Boolean Circuits
    over Different Sets of Gates, Theory of Computing Systems 41 (4), 2007, 753 – 777
  • E. Böhler, C. Glaßer, D. Meister, Error-bounded Probabilistic Computations between
    MA and AM, Journal of Computer and System Sciences 72, 2006, 1043 – 1076
  • E. Böhler, C. Glaßer, B. Schwarz, K. W. Wagner, Generation Problems, Theoretical Com-
    puter Science 345 (2-3), 2005, 260 – 295
  • E. Böhler, H. Schnoor, S. Reith, H. Vollmer, Bases for Boolean co-clones, Information
    Processing Letters 96(2), 2005, 59 – 66
  • E. Böhler, E. Hemaspaandra, S. Reith, and H. Vollmer, The complexity of boolean con-
    straint isomorphism, Proceedings of the 21st Annual Symposium on Theoretical Aspects
    of Computer Science, 2004, 164–175
  • E. Böhler, C. Glaßer, B. Schwarz, K. W. Wagner, Generation Problems, Proceedings of
    the 29th Symposium of Mathematical Foundations of Computer Science, 2004, 392 – 403
  • E. Böhler, C. Glaßer, and D. Meister, Error-bounded probabilistic computations between
    MA and AM, Proceedings of the 28th Symposium of Mathematical Foundations of Com-
    puter Science, 2003, 249–258
  • E. Böhler, E. Hemaspaandra, S. Reith, and H. Vollmer, Equivalence and isomorphism for Boolean constraint satisfaction, Proceedings of the 16th International Workshop of
    Computer Science Logic, 2002, 412–426

 

Nicht referierte Artikel

 

  •  E. Böhler, N. Creignou, S. Reith, H. Vollmer, Playing with Boolean blocks, part II: con-
    straint satisfaction problems, ACM SIGACT-Newsletter 35(1), 2004, 22 – 35
  •  E. Böhler, N. Creignou, S. Reith, H. Vollmer, Playing with Boolean blocks, part I: Post’s
    lattice with applications to complex ity theory, ACM SIGACT-Newsletter, 34(4), 2003, 38
    – 52

 

Technische Berichte

 

  • E. Böhler, H. Schnoor, The Complexity of the Descriptiveness of Boolean Circuits Over
    Different Sets of Gates, Technischer Bericht Nr. 357 der Universität Würzburg, April 2005
  • M. Bauland, E. Böhler, N. Creignou, St. Reith, H. Schnoor, H. Vollmer, Quantified Con-
    straints: The Complexity of Decision and Counting for Bounded Alternation, Technischer
    Bericht Nr. 353 der Universität Würzburg, Februar 2005
  • E. Böhler, On the Lattice of Clones Below the Polynomial Time Functions, Technischer
    Bericht Nr. 352 der Universität Würzburg, Februar 2005
  • E. Böhler, St. Reith, H. Schnoor, H. Vollmer, Simple Bases for Boolean Co-Clones, Tech-
    nischer Bericht Nr. 350 der Universität Würzburg, Januar 2005
  • E. Böhler, Chr. Glaßer, B. Schwarz, K.W. Wagner, Generation Problems, Technischer
    Bericht Nr. 329 der Universität Würzburg, April 2004
  • E. Böhler, N. Creignou, St. Reith, H. Vollmer, Playing with Boolean Blocks: Constraint
    Satisfaction Problems, Technischer Bericht Nr. 318 der Universität Würzburg, Februar
    2004
  •  E. Böhler, N. Creignou, St. Reith, H. Vollmer, Playing with Boolean Blocks: Post’s Lat-
    tice with Applications to Complexity Theory, Technischer Bericht Nr. 317 der Universität
    Würzburg, Februar 2004
  • E. Böhler, K. W. Wagner, Polynomial Time Generation Problems, Technischer Bericht Nr.
    312 der Universität Würzburg, Juli 2003
  • E. Böhler, Chr. Glaßer, D. Meister, Small Bounded-Error Computations and Complete-
    ness, Technischer Bericht Nr. 311 der Universität Würzburg, Juli 2003
  •  E. Böhler, Chr. Glaßer, D. Meister, Error-bounded probabilistic computations between MA
    and AM, Technischer Bericht Nr. 299 der Universität Würzburg, August 2002
  • E. Böhler, H. Vollmer, Boolean Functions and Post’s Lattice with Applications to Complex-
    ity Theory, Technischer Bericht Nr. 290 der Universität Würzburg, Januar 2002
  • E. Böhler, On the Relative Complexity of Post’s Classes, Technischer Bericht Nr. 286 der
    Universität Würzburg, November 2001
  • E. Böhler, E. Hemaspaandra, St. Reith, H. Vollmer, Equivalence Problems for Boolean
    Constraint Satisfaction Technischer Bericht Nr. 282 der Universität Würzburg, September
    2001

 

Abschlussarbeiten