Home » Publication » 16548

Dettaglio pubblicazione

2005, ARTIFICIAL INTELLIGENCE, Pages 89-120 (volume: 162)

Compiling problem specifications into SAT (01a Articolo in rivista)

Cadoli Marco, Andrea Schaerf

keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma