Skip to content
cs-conference-ranking.org

Breaking the PPSZ Barrier for Unique 3-SAT.

Timon Hertli

VenueA*ICALP
Year2014
ProceedingsICALP (1)
DBLP recordconf/icalp/Hertli14 ↗

Browse the full ICALP paper archive.