Springer Verlag LNAI
Detecting and breaking symmetries by reasoning on problem specifications / Mancini, Toni; Cadoli, Marco. - STAMPA. - 3607:(2005), pp. 165-181. (Intervento presentato al convegno Abstraction, Reformulation and Approximation, 6th International Symposium, SARA 2005 tenutosi a Airth Castle, Scotland, UK nel July 26-29, 2005) [10.1007/11527862_12].
Detecting and breaking symmetries by reasoning on problem specifications
MANCINI, Toni;CADOLI, Marco
2005
Abstract
Springer Verlag LNAIFile 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.