Youssef Hamadi, Saïd Jabbour, Lakhdar Sais. Learning from conflicts in propositional satisfiability. 4OR, 10(1):15-32, 2012. [doi]
@article{HamadiJS12, title = {Learning from conflicts in propositional satisfiability}, author = {Youssef Hamadi and Saïd Jabbour and Lakhdar Sais}, year = {2012}, doi = {10.1007/s10288-011-0191-7}, url = {http://dx.doi.org/10.1007/s10288-011-0191-7}, researchr = {https://researchr.org/publication/HamadiJS12}, cites = {0}, citedby = {0}, journal = {4OR}, volume = {10}, number = {1}, pages = {15-32}, }