ML Anthology
Authors
Search
About
Chen, Jianer
1 publications
IJCAI
2019
Resolution and Domination: An Improved Exact MaxSAT Algorithm
Chao Xu
,
Wenjun Li
,
Yongjie Yang
,
Jianer Chen
,
Jianxin Wang