Generalizing consistency and other constraint properties to quantified constraints / Lucas, Bordeaux; Marco, Cadoli; Mancini, Toni. - In: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. - ISSN 1529-3785. - STAMPA. - 10:(2009), pp. 17.1-17.25. [10.1145/1507244.1507247]
Generalizing consistency and other constraint properties to quantified constraints
MANCINI, Toni
2009
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.