From Decimation to Local Search and Back: A New Approach to MaxSAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shaowei Cai, Chuan Luo, Haochen Zhang. From Decimation to Local Search and Back: A New Approach to MaxSAT. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 571-577, ijcai.org, 2017. [doi]

This author has not been identified. Look up 'Shaowei Cai' in GoogleThis author has not been identified. Look up 'Chuan Luo' in GoogleThis author has not been identified. Look up 'Haochen Zhang' in Google

runs on WebDSL