A SAT-Based Approach to MinSAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Ansótegui, Chu Min Li, Felip Manyà, Zhu Zhu. A SAT-Based Approach to MinSAT. In David Riaño 0001, Eva Onaindia, Miguel Cazorla, editors, Artificial Intelligence Research and Development - Proceedings of the 15th International Conference of the Catalan Association for Artificial Intelligence, University of Alacant, Spain, October 24-26, 2012. Volume 248 of Frontiers in Artificial Intelligence and Applications, pages 185-189, IOS Press, 2012. [doi]

This author has not been identified. Look up 'Carlos Ansótegui' in GoogleThis 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 'Zhu Zhu' in Google

runs on WebDSL