Publisher
Springer Nature Switzerland
Reference30 articles.
1. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-2009), pp. 399–404 (2009)
2. Bacchus, F., Järvisalo, M., Martins, R.: Maximum satisfiability. In: Handbook of Satisfiability, Second Edition, pp. 929–991. IOS Press (2021)
3. Bansal, N., Blum, A., Chawla, S.: Correlation clustering. Mach. Learn. 56(1–3), 89–113 (2004)
4. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, Second Edition, pp. 1267–1329. IOS Press (2021)
5. Berg, J., Järvisalo, M.: Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability. Artif. Intell. 244, 110–142 (2017)