A Clause Tableau Calculus for MaxSAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chu Min Li, Felip Manyà, Joan Ramon Soler. A Clause Tableau Calculus for MaxSAT. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. pages 766-772, IJCAI/AAAI Press, 2016. [doi]

This author has not been identified. Look up 'Chu Min Li' in GoogleThis author has not been identified. Look up 'Felip Manyà' in GoogleThis author has not been identified. Look up 'Joan Ramon Soler' in Google

runs on WebDSL