Andreas Flögel

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Hans Kleine Büning, Marek Karpinski, Andreas Flögel
Resolution for Quantified Boolean Formulas Inf. Comput. 117 (1) (1995)
Andreas Flögel, Hans Kleine Büning, Theodor Lettmann
On the Restricted Equivalence Subclasses of Propositional Logic. RAIRO Theor. Informatics Appl. 27 (4) (1993)
Andreas Flögel, Marek Karpinski, Hans Kleine Büning
Subclasses of Quantified Boolean Formulas. CSL (1990)