一种笛卡尔积压缩的负表约束上表缩减算法
蔡毛毛, 李占山, 董学阳
A Tabular Reduction Algorithm on Negative Table Constraint Compressed by Cartesian Product
CAI Maomao, LI Zhanshan, DONG Xueyang
吉林大学学报(理学版) . 2019, (3): 591 -597 .