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

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)
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
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 ).
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/418170
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact