GO-MOCE: Greedy Order Method of Conditional Expectations for Max Sat

Daniel Berend, Shahar Golan, Yochai Twitto. GO-MOCE: Greedy Order Method of Conditional Expectations for Max Sat. Discrete Optimization, 43:100685, 2022. [doi]

Abstract

Abstract is missing.