• Symmetry breaking in numeric constraint problems 

      Goldsztejn, Alexandre; Jermann, Christophe; Ruiz de Angulo García, Vicente; Torras, Carme (Springer, 2011)
      Text en actes de congrés
      Accés obert
      Symmetry-breaking constraints in the form of inequalities between variables have been proposed for a few kind of solution symmetries in numeric CSPs. We show that, for the variable symmetries among those, the proposed ...