A CHR-based implementation of known arc-consistency / M. Alberti; M. Gavanelli; E. Lamma; P. Mello; M. Milano. - In: THEORY AND PRACTICE OF LOGIC PROGRAMMING. - ISSN 1471-0684. - STAMPA. - 5:(2005), pp. 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.