Jan Johannsen

7 publications

3 venues

H Index 4

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 22
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 16
An Exponential Lower Bound for Width-Restricted Clause Learning. SAT 2009 9
Copyright ©2019 Universit├Ąt W├╝rzburg

Impressum | Privacy | FAQ