Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search

Conference paper

Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings 26