Pure MaxSAT and Its Applications to Combinatorial Optimization via Linear Local Search. CP 2020: 90-106

Shaowei Cai, Xindi Zhang
January 2020
PDF DOI
Type
Conference paper
Publication
CP2020
Conf