Detecting and breaking symmetries on specifications / Cadoli, Marco; Mancini, Toni. - STAMPA. - (2003), pp. 13-26. ( The Third International Workshop on Symmetry in Constraint Satisfac- tion Problems, in conjunction with the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003) Kinsale, Ireland ).
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


