Cassure de symétries à base de stabilisateurs : Application aux CSP matriciels

Jean-Francois Puget. Cassure de symétries à base de stabilisateurs : Application aux CSP matriciels. In Mireille Ducassé, editor, Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. pages 223-236, Hermes/Lavoisier, 2003.

Abstract

Abstract is missing.