Timon Hertli
From MaRDI portal
Person:3113687
Available identifiers
zbMath Open hertli.timonMaRDI QIDQ3113687
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| 3-SAT faster and simpler -- unique-SAT bounds for PPSZ hold in general | 2014-07-30 | Paper |
| 3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General | 2014-07-30 | Paper |
| Breaking the PPSZ barrier for unique 3-SAT | 2014-07-01 | Paper |
| Improving PPSZ for 3-SAT using critical variables | 2012-01-23 | Paper |
Research outcomes over time
This page was built for person: Timon Hertli
