A Novel Algorithm for Max Sat Calling MOCE to Order.

Daniel Berend, Shahar Golan, Yochai Twitto

Browse the full COCOA paper archive.