papers
Publications (4)
cs.CC2004
The Complexity of Boolean Constraint Isomorphism
Elmar Böhler, Edith Hemaspaandra, Steffen Reith +1
cs.CC1998
The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae
Steffen Reith, Heribert Vollmer
cs.CC2002
Equivalence and Isomorphism for Boolean Constraint Satisfaction
E. Boehler, E. Hemaspaandra, Steffen Reith +1
cs.CC2012
Complexity classifications for different equivalence and audit problems for Boolean circuits
Elmar Böhler, Nadia Creignou, Matthias Galota +3