Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco M. Manquinho. Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. In Thomas Schiex, Simon de Givry, editors, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings. Volume 11802 of Lecture Notes in Computer Science, pages 232-250, Springer, 2019. [doi]
Abstract is missing.