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]
@inproceedings{GascaVLC07,
title = {NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs},
author = {Rafael M. Gasca and Carmelo Del Valle and María Teresa Gómez López and Rafael Ceballos},
year = {2007},
doi = {10.1007/978-3-540-75271-4_17},
url = {http://dx.doi.org/10.1007/978-3-540-75271-4_17},
tags = {analysis},
researchr = {https://researchr.org/publication/GascaVLC07},
cites = {0},
citedby = {0},
pages = {160-169},
booktitle = {Current Topics in Artificial Intelligence, 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers},
editor = {Daniel Borrajo and Luis A. Castillo and Juan M. Corchado},
volume = {4788},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-75270-7},
}