伯恩德银行 特蕾莎·克里克 莱因哈德·曼德尔 巴勃罗·索莱诺 多项式约束整数规划的几何界。 第121页至第125页 1991 conf/fct/1991年 FCT公司 db/conf/fct/fct91.html#BankKMS91 https://doi.org/10.1007/3-540-54458-5_56