Tailoring Local Search for Partial MaxSAT

Shaowei Cai, Chuan Luo, John Thornton, Kaile Su
January 2014
PDF DOI
Type
Conference paper
Publication
AAAI2014
Conf