SAT as an effective solving technology for constraint problems / Cadoli, Marco; Mancini, Toni; Patrizi, Fabio. - STAMPA. - 4203:(2006), pp. 540-549. (Intervento presentato al convegno Foundations of Intelligent Systems (Proceedings of ISMIS 2006 tenutosi a Bari, Italy nel September 27-29, 2006) [10.1007/11875604_61].
SAT as an effective solving technology for constraint problems
CADOLI, Marco;MANCINI, Toni;PATRIZI, FABIO
2006
File allegati a questo prodotto
File | Dimensione | Formato | |
---|---|---|---|
VE_2006_11573-367170.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
242.85 kB
Formato
Adobe PDF
|
242.85 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.