A Novel Algorithm for Max Sat Calling MOCE to Order - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Daniel Berend' in GoogleThis author has not been identified. Look up 'Shahar Golan' in GoogleThis author has not been identified. Look up 'Yochai Twitto' in Google

runs on WebDSL