Automated reformulation of specifications by safe delay of constraints / Cadoli, Marco; Mancini, Toni. - STAMPA. - (2003). (Intervento presentato al convegno The Second International Workshop on Modelling and Refor- mulating CSPs: Towards Systematisation and Automation, in conjunction with the Ninth International Conference on Principles and Practice of Constraint Programming (CP 2003) tenutosi a Kinsale, Ireland).
Automated reformulation of specifications by safe delay of constraints
CADOLI, Marco;MANCINI, Toni
2003
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.