NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs

Rafael M. Gasca, Carmelo Del Valle, María Teresa Gómez López, Rafael Ceballos. NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs. In Daniel Borrajo, Luis A. Castillo, Juan M. Corchado, editors, Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers. Volume 4788 of Lecture Notes in Computer Science, pages 160-169, Springer, 2007. [doi]

Authors

Rafael M. Gasca

This author has not been identified. Look up 'Rafael M. Gasca' in Google

Carmelo Del Valle

This author has not been identified. Look up 'Carmelo Del Valle' in Google

María Teresa Gómez López

This author has not been identified. Look up 'María Teresa Gómez López' in Google

Rafael Ceballos

This author has not been identified. Look up 'Rafael Ceballos' in Google