Login / Signup

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

Rafael M. GascaCarmelo Del ValleMaría Teresa Gómez LópezRafael Ceballos
Published in: CAEPIA (2007)
Keyphrases