Login / Signup

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and Its Algorithmic Applications.

Robert CrowstonGregory Z. GutinMark JonesAnders Yeo
Published in: Algorithmica (2012)
Keyphrases