Login / Signup
Average-Case Analysis for the MAX-2SAT Problem.
Osamu Watanabe
Masaki Yamamoto
Published in:
SAT (2006)
Keyphrases
</>
average case
lower bound
worst case