Hans Kleine Büning
16 publications
5 venues
H Index 7
Affiliation
University of Paderborn, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Learning Boolean specifications.
|
Artificial Intelligence | 2015 | 1 |
| On the Usage of Behavior Models to Detect ATM Fraud.
|
ECAI | 2014 | 6 |
| Nested Boolean Functions as Models for Quantified Boolean Formulas.
|
SAT | 2013 | 5 |
| Learning Behavior Models for Hybrid Timed Systems.
|
AAAI | 2012 | 97 |
| Transformations into Normal Forms for Quantified Circuits.
|
SAT | 2011 | 3 |
| Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN.
|
SAT | 2010 | 2 |
| Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits.
|
SAT | 2009 | 10 |
| Bounded Universal Expansion for Preprocessing QBF.
|
SAT | 2007 | 46 |
| Dependency Quantified Horn Formulas: Models and Complexity.
|
SAT | 2006 | 25 |
| Minimal False Quantified Boolean Formulas.
|
SAT | 2006 | 10 |
| Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.
|
SAT | 2005 | 7 |
| Model-Equivalent Reductions.
|
SAT | 2005 | 6 |
| Equivalence Models for Quantified Boolean Formulas.
|
SAT | 2004 | 6 |
| On Boolean Models for Quantified Boolean Horn Formulas.
|
SAT | 2003 | 21 |
| Read-Once Unit Resolution.
|
SAT | 2003 | 5 |
| Classes of First Order Formulas Under Various Satisfiability Definitions.
|
CADE | 1986 | 0 |