Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs. What we can learn from conflicts in propositional satisfiability. Annals OR, 240(1):13-37, 2016. [doi]
@article{HamadiJS16, title = {What we can learn from conflicts in propositional satisfiability}, author = {Youssef Hamadi and Saïd Jabbour and Lakhdar Saïs}, year = {2016}, doi = {10.1007/s10479-015-2028-9}, url = {http://dx.doi.org/10.1007/s10479-015-2028-9}, researchr = {https://researchr.org/publication/HamadiJS16}, cites = {0}, citedby = {0}, journal = {Annals OR}, volume = {240}, number = {1}, pages = {13-37}, }