Skip to content

Approximation Algorithm for Random MAX-kSAT.

Yannet Interian

VenueASAT
Year2004
ProceedingsSAT

Browse the full SAT paper archive.