1. Ansotegui, C., Bacchus, F., Järvisalo, M., Martins, R., et al.: MaxSAT Evaluation 2017. https://helda.helsinki.fi/bitstream/handle/10138/233112/mse17proc.pdf (2017)
2. Bacchus, F., Järvisalo, M., Martins, R.: MaxSAT evaluation 2018: New developments and detailed results. Journal on Satisfiability, Boolean Modeling and Computation 11(1), 99–131 (2019). Instances available at https://maxsat-evaluations.github.io/
3. Bacchus, F., Järvisalo, M.J., Martins, R., et al.: MaxSAT Evaluation 2018. https://helda.helsinki.fi/bitstream/handle/10138/237139/mse18_proceedings.pdf (2018)
4. Bertsekas, D.P.: Nonlinear Programming, 2nd edn. Belmont, Athena Scientific (1999)
5. Boyd, S., Parikh, N., Chu, E., Peleato, B., Eckstein, J.: Distributed optimization and statistical learning via the alternating direction method of multipliers. Foundations and Trends in Machine learning 3(1), 1–122 (2011)