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
Premi sulle icone a fianco dei nomi per visualizzare i libri scritti dall'autore

---

---

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