Anbulagan, AnbuGrastien, AlbanGilles Trombettoni2015-12-10June 4-6 2http://hdl.handle.net/1885/54431Importance de la semantique dans le codage CNF de constraintes de cardinalite: Application au diagnostic de SED20082022-08-07