Daniel Berend, Shahar Golan, Yochai Twitto. A Novel Algorithm for Max Sat Calling MOCE to Order. In Ding-Zhu Du, Donglei Du, Chenchen wu, Dachuan Xu, editors, Combinatorial Optimization and Applications - 15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021, Proceedings. Volume 13135 of Lecture Notes in Computer Science, pages 302-317, Springer, 2021. [doi]
Abstract is missing.