Hans Kleine Büning
Paderborn University(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Advanced Algebra and Logic, semigroups and automata theory
Most-Cited Works
- → Resolution for Quantified Boolean Formulas(1995)320 cited
- Propositional Logic: Deduction and Algorithms(1999)
- → An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF(1998)94 cited
- → Learning Behavior Models for Hybrid Timed Systems(2021)84 cited
- → On subclasses of minimal unsatisfiable formulas(2000)66 cited
- → Bounded Universal Expansion for Preprocessing QBF(2007)49 cited
- → Identifying behavior models for process plants(2011)46 cited
- →