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

no abstract


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

Esportazione dati in Refworks (solo per utenti abilitati)

Biblioteche ACNP che possiedono il periodico