Skip to content

Average-Case Analysis for the MAX-2SAT Problem.

Osamu Watanabe, Masaki Yamamoto

VenueASAT
Year2006
ProceedingsSAT

Browse the full SAT paper archive.