Research Topic: Reduction concepts

Introduction of a complexity theoretical type of reductions being relevant for the investigation of the computing power of the polynomial size OBDDs.

Technical Reports:

• Ch. Meinel, A. Slobodová: 
  An Adequate Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams

Publications:

• Ch. Meinel, A. Slobodová 
  A Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams 
  Proc. STACS '97, Lübeck (Germany), LNCS 1200, Springer-Verlag 1997, 213-224.

People:

• Prof. Dr. Christoph Meinel
• Dr. Anna Slobodova