Skip to content

A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems.

Uwe Schning

VenueA*FOCS
Year1999
ProceedingsFOCS

Browse the full FOCS paper archive.