1. Maxsat evaluation (2021). https://maxsat-evaluations.github.io/2021/index.html
2. Agrawal, A., et al.: Parameterized streaming algorithms for min-ones d-sat. In: FSTTCS. LIPIcs, vol. 150, pp. 8:1–8:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
3. Argelich, J., Berre, D.L., Lynce, I., Silva, J.P.M., Rapicault, P.: Solving Linux upgradeability problems using Boolean optimization. In: LoCoCo. EPTCS, vol. 29, pp. 11–22 (2010)
4. Lecture Notes in Computer Science;J Argelich,2007
5. Lecture Notes in Computer Science;U Arif,2020