Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints. IJCAI 2020: 1141-1147

Zhendong Lei, Shaowei Cai, Chuan Luo
一月 2020
PDF DOI
类型
会议文章
出版物
IJCAI2020
Conf