Forschungsschwerpunkt: |
Lehrstuhl für Informatik IV
Institut für Informatik, Am Hubland, 97074 Würzburg Mail: boehler@informatik.uni-wuerzburg.de Url: http://http:/theoretische.informatik.uni-wuerzburg.de |
Wissenschaftliche Mitglieder:
Professoren:
Wissenschaftliche Mitarbeiter:
Sonstige beteiligte Personen und Organisationen:
Forschungsschwerpunkte (und Projekte auf Basis der Grundausstattung):
Komplexität spezieller Schaltkreis- und Formelprobleme
Ergebnisse:
Abgesehen von den angegebenen Links ist auf die Dissertation
"Generalized Satisfiability Problems"
von Steffen Reith zu verweisen.
Links:
The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae
The Complexity of Problems Defined by Subclasses of Boolean Functions
Optimal Satisfiability for Propositional Calculi and Constraint Satisfaction Problem
The Complexity of Problems Defined by Boolean Circuits
Equivalence Problems for Boolean Constraint Satisfaction
On the Relative Complexity of Post's Classes
Boolean Functions and Post's Lattice with Applications to Complexity Theory
Playing with Boolean Blocks: Post's Lattice with Applications to Complexity Theory
Playing with Boolean Blocks: Constraint Satisfaction Problems
Simple Bases for Boolean Co-Clones
Quantified Constraints: The Complexity of Decision and Counting for Bounded Alternation