@进行中{GeBiere-IJCAI21，title={计算线性约束上整数解的分解策略}，作者={Ge，Cunjing and Biere，Armin}，booktitle={第三十届国际联合会议记录人工智能，{IJCAI-21}}，publisher={人工智能组织国际联合会议}，编辑={Zhi-Hua Zhou}，页数={1389--1395}，年份={2021}，月份={8}，注={主轨道}，doi={10.24963/ijcai.2021/192}，url={https://doi.org/10.24963/ijcai.2021/192},}