Andreas Flögel
Hans Kleine Büning, Marek Karpinski, and Andreas Flögel.
Resolution for quantified Boolean formulas.
Information and Computation
, 117(1):12-18, 15 February 1995.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database