摘要
巴克尔，R.R。； Dikker，F。； Tempelman，F。； 和Wognum，P.M.1993。 诊断和解决过定约束满足问题。 在 国际JCAI-93 , 276-281. 谷歌学者 
Brewka，G.1989年。 首选子主题：默认推理的扩展逻辑框架。 在 国际JCAI-89 , 1043-1048. 谷歌学者 Chinneck，J.W.，1997年。 在不可行线性规划中寻找有用的约束子集进行分析。 信息计算杂志 9:164-174. 谷歌学者 de Kleer，J.1986年。 基于假设的真相维护系统。 人工智能 时间：28:127-162。 谷歌学者 de la Banda，M.G。； Stuckey，P.J。； 和Wazny，J.2003。 求所有最小不可满足子集。 在 2003年PPDP , 32-43. 谷歌学者 de Siqueira N.，J.L.和Puget，J.F.，1988年。 基于解释的故障概括。 在 ECAI-88标准 , 339-344. 谷歌学者 Dechter，R.和Pearl，J.1989年。 约束网络的树聚类。 人工智能 38:353-366. 谷歌学者 Doyle，J.1979年。 真相维护系统。 人工智能 12:231-272。 谷歌学者 Ginsberg，M.和McAllester，D.1994年。 GSAT和动态回溯。 在 94韩元 , 226-237. 谷歌学者 ILOG。 2003年a。 ILOG JConfigurator V2.1。 发动机编程指南，ILOG S.A.，Gentilly，France。 谷歌学者 ILOG。 2003年b。 ILOG解算器6.0。 用户手册，ILOG S.A.，法国真蒂利。 谷歌学者 Junker，U.和Mailharro，D.2003。 首选编程：高级配置问题解决。 AIEDAM公司 17(1): 13-29. 谷歌学者 Junker，U.2002年。 基于偏好的搜索和多准则优化。 在 AAAI-02型 , 34-40. 谷歌学者 北卡罗来纳州尤西恩。； Debruyne，R。； 和Boizumault，P.2000。 在动态回溯中保持电弧一致性。 在 2000年高露洁棕榄公司 , 249-261. 谷歌学者 Mauss，J.和Tatar，M.，2002年。 计算富约束语言的最小冲突。 在 ECAI-02型 , 151-155. 谷歌学者 Prosser，P.1993年。 约束满足问题的混合算法。 计算智能 9:268-299. 谷歌学者 Sqalli，M.H.和Freuder，E.C.，1996年。 基于推理的约束满足支持解释。 在 AAAI-96型 , 318-325. 谷歌学者
建议
一般整数二次规划的高效紧致二次凸格式 我们研究具有线性约束的一般整数二次规划的精确解。 这些程序构成了混合整数二次规划的一个特殊情况，我们在Billionnet等人（数学程序，2010）中介绍了一个通用的。。。
