H
Hans Kleine Büning
Researcher at University of Paderborn
Publications - 88
Citations - 1073
Hans Kleine Büning is an academic researcher from University of Paderborn. The author has contributed to research in topics: True quantified Boolean formula & Conjunctive normal form. The author has an hindex of 17, co-authored 88 publications receiving 1012 citations. Previous affiliations of Hans Kleine Büning include Karlsruhe Institute of Technology.
Papers
More filters
Journal ArticleDOI
An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF
TL;DR: It is shown that in case of at most n clauses no formula is minimal unsatisfiable, and for n+1 clauses the minimal unsatisfiability problem is solvable in quadratic time.
Proceedings Article
Learning behavior models for hybrid timed systems
TL;DR: This paper considers real-world production plants where the learned model must capture timing behavior, dependencies between system variables, as well as mode switches--in short: hybrid system's characteristics, and presents a taxonomy of learning problems related to model formation tasks.
Journal ArticleDOI
On subclasses of minimal unsatisfiable formulas
TL;DR: It is proved that MU ( k ) for fixed k is in NP, and for MU (2) the author presents a simple and unique characterization.
Book ChapterDOI
Bounded universal expansion for preprocessing QBF
Uwe Bubeck,Hans Kleine Büning +1 more
TL;DR: Experimental results demonstrate that the new approach to preprocessing Quantified Boolean Formulas in conjunctive normal form can successfully improve the performance of state-of-the-art QBF solvers on wellknown problems from the QBFLIB collection.