Articolo
Anno: 2012
Learning from conflicts in propositional satisfiability
In: 4OR (Berlin)
, Vol. 10, n. 1, pp. 15-32
