"

Autori
Hamadi, Youssef
Jabbour, Saïd
Sais, Lakhdar

Titolo
Learning from conflicts in propositional satisfiability
Periodico
4OR (Berlin)
Anno: 2012 - Volume: 10 - Fascicolo: 1 - Pagina iniziale: 15 - Pagina finale: 32



SICI: 1619-4500(2012)10:1<15:LFCIPS>2.0.ZU;2-I

Esportazione dati in Refworks (solo per utenti abilitati)

Record salvabile in Zotero

Biblioteche ACNP che possiedono il periodico