Skip to content

Recognizing More Unsatisfiable Random 3-SAT Instances Efficiently.

Joel Friedman, Andreas Goerdt

VenueA*ICALP
Year2001
ProceedingsICALP

Browse the full ICALP paper archive.