Tailoring Local Search for Partial MaxSAT

Shaowei Cai, Chuan Luo, John Thornton, Kaile Su
一月 2014
PDF DOI
类型
会议文章
出版物
AAAI2014
Conf