Jan Johannsen
7 publications
3 venues
H Index 3
Affiliation
Ludwig Maximilian University of Munich, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Simplified and Improved Separations Between Regular and General Resolution by Lifting.
|
SAT | 2020 | 2 |
| Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers.
|
SAT | 2016 | 8 |
| Improved Separations of Regular Resolution from Clause Learning Proof Systems.
|
JAIR | 2014 | 0 |
| Exponential Separations in a Hierarchy of Clause Learning Proof Systems.
|
SAT | 2013 | 2 |
| Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width.
|
IJCAI | 2011 | 0 |
| Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas.
|
SAT | 2010 | 15 |
| An Exponential Lower Bound for Width-Restricted Clause Learning.
|
SAT | 2009 | 9 |