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. 160-169 2007 conf/caepia/2007 CAEPIA http://dx.doi.org/10.1007/978-3-540-75271-4_17 db/conf/caepia/caepia2007.html#GascaVLC07