Hans Kleine Büning
- Resolution for Quantified Boolean Formulas
1995/02/01 by Hans Kleine Büning, H.K. Buning, Marek Karpiński +3 · 3 citations
Computer Science · #Constraint Satisfaction and Optimization #Formal Methods in Verification #Logic, programming, and type systems