Andreas Flögel

According to our database, Andreas Flögel authored at least 4 papers between 1990 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1995

Resolution for Quantified Boolean Formulas

Hans Kleine Büning, Marek Karpinski, Andreas Flögel

Inf. Comput., February, 1995

1993

On the Restricted Equivalence Subclasses of Propositional Logic.

Andreas Flögel, Hans Kleine Büning, Theodor Lettmann

RAIRO Theor. Informatics Appl., 1993

Resolution für quantifizierte Bool'sche Formeln.

Andreas Flögel

PhD thesis, 1993

1990

Subclasses of Quantified Boolean Formulas.

Andreas Flögel, Marek Karpinski, Hans Kleine Büning

Proceedings of the Computer Science Logic, 4th Workshop, 1990