Automated reformulation of specifications by safe delay of constraints / Cadoli, Marco; Mancini, Toni. - STAMPA. - (2003). ( 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) 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.


