Timon Hertli
From MaRDI portal
Person:3113687
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 SIAM Journal on Computing | 2014-07-30 | Paper |
| 3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science | 2014-07-30 | Paper |
| Breaking the PPSZ barrier for unique 3-SAT Automata, Languages, and Programming | 2014-07-01 | Paper |
| Improving PPSZ for 3-SAT using critical variables | 2012-01-23 | Paper |
| Improving PPSZ for 3-SAT using critical variables (available as arXiv preprint) | 2012-01-23 | Paper |
Research outcomes over time
This page was built for person: Timon Hertli
