Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Timon Hertli
Map detail
Timon Hertli4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipTimon HertliATimon HertliResearcherImproving PPSZ for 3-SAT using Critical VariablesWImproving PPSZ for 3-SA...preprint / 20113-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in GeneralW3-SAT Faster and Simple...preprint / 2011Breaking the PPSZ Barrier for Unique 3-SATWBreaking the PPSZ Barri...preprint / 2014
Person3 links

Timon Hertli

Researcher