GascaVLC07'

BibTeX

@inproceedings{DBLP:conf/caepia/GascaVLC07,
  author    = {Rafael M. Gasca and
               Carmelo Del Valle and
               Mar\'{\i}a Teresa G{\'o}mez L{\'o}pez and
               Rafael Ceballos},
  title     = {NMUS: Structural Analysis for Improving the Derivation of
               All MUSes in Overconstrained Numeric CSPs},
  booktitle = {CAEPIA},
  year      = {2007},
  pages     = {160-169},
  ee        = {http://dx.doi.org/10.1007/978-3-540-75271-4_17},
  crossref  = {DBLP:conf/caepia/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/caepia/2007,
  editor    = {Daniel Borrajo and
               Luis A. Castillo and
               Juan M. Corchado},
  title     = {Current Topics in Artificial Intelligence, 12th Conference
               of the Spanish Association for Artificial Intelligence,
               CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected
               Papers},
  booktitle = {CAEPIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4788},
  year      = {2007},
  isbn      = {978-3-540-75270-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}