Skip to content
cs-conference-ranking.org

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

Timon Hertli

VenueA*FOCS
Year2011
ProceedingsFOCS
DBLP recordconf/focs/Hertli11 ↗

Browse the full FOCS paper archive.