Timon Hertli
From MaRDI portal
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
