M. Alberti, M. Gavanelli, E. Lamma, P. Mello, M. Milano (2005). A CHR-based implementation of known arc-consistency. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 5, 419-440 [10.1017/S147106840500236X].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.