1. Bacchus, F., Järvisalo, M., Martins, R.: MaxSAT Evaluation 2019: solver and benchmark descriptions (2019). http://hdl.handle.net/10138/306989
2. Cooper, M.C., de Givry, S., Sanchez, M., Schiex, T., Zytnicki, M., Werner, T.: Soft arc consistency revisited. Artif. Intell. 174(7–8), 449–478 (2010)
3. Cooper, M.C., de Givry, S., Sánchez, M., Schiex, T., Zytnicki, M.: Virtual arc consistency for weighted CSP. In: AAAI, pp. 253–258 (2008)
4. Lecture Notes in Computer Science;T Dlask,2020
5. Globerson, A., Jaakkola, T.S.: Fixing max-product: convergent message passing algorithms for MAP LP-relaxations. In: Advances in Neural Information Processing Systems, pp. 553–560 (2008)