Concepedia

Timon Hertli

TH

4

Publications

140

Citations

4

H-Index

2010

Active since

Affiliations

ETH Zurich(Current)

Timon Hertli is an author at ETH Zurich specializing in mathematical programming, computational complexity, and combinatorial optimization.

Top concepts

Publications per year

2010–2014

4

Publications

4

3-SAT Faster and Simpler---Unique-SAT Bounds for PPSZ Hold in General

Timon Hertli · SIAM Journal on Computing · 2014 · 46 citations

, , +15

3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General

Timon Hertli · arXiv (Cornell University) · 2011 · 38 citations · Full text

3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General

Timon Hertli · 2011 · 36 citations

, , +16

Improving PPSZ for 3-SAT using Critical Variables

Timon Hertli, Robin A. Moser, Dominik Scheder · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 20 citations · Full text

Rows per page

1–4 of 4