安德烈亚·巴洛夫；米歇尔·加拉法；巴里·奥沙利文；法比奥·萨拉萨 基于MILP的局部搜索过程，用于最小化无空闲置换flowshop问题中的总延迟。 （英语） Zbl 1520.90093号 计算。操作。物件。 146，文章ID 105862，15 p.（2022）.MSC公司：90B35型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{A.Balogh}等人，《计算》。操作。第146号决议，文章编号105862，15页（2022；Zbl 1520.90093） 全文： 内政部
纪尧姆·埃斯卡莫彻；巴里·奥沙利文；史蒂文·戴维·普雷斯特维奇 在未探索的约束区域中生成困难的CNF实例。 （英语） Zbl 1521.68085号 ACM J.实验算法。 25，论文编号1.6，第12页（2020年）.MSC公司：68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Escamocher}等人，ACM J.实验算法。25，论文编号1.6，12 p.（2020；Zbl 1521.68085） 全文： 内政部
根克，贝古姆；穆罕默德·西亚拉；吉尔·西蒙宁；巴里·奥沙利文 稳定室友问题的稳健性方法及其与稳定婚姻问题的比较。 （英语） Zbl 1525.68145号 卢梭、路易斯·马汀（编辑）等，《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议，2019年6月4日至7日，希腊塞萨洛尼基。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11494, 320-336 (2019).MSC公司：68T20型 68瓦50 91B68型 PDF格式BibTeX公司 XML格式引用 \textit{B.Genc}等人，Lect。注释计算。科学。11494、320-336（2019年；Zbl 1525.68145） 全文： 内政部 哈尔
穆罕默德·西亚拉；巴里·奥沙利文 从能量角度进行组合搜索。 （英语） Zbl 1478.68335号 信息处理。莱特。 148, 23-27 (2019).MSC公司：68T20型 68宽10 68瓦20 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{M.Siala}和\textit{B.O'Sullivan}，Inf.过程。莱特。148、23-27（2019年；Zbl 1478.68335） 全文： 内政部 哈尔
纪尧姆·埃斯卡莫彻；穆罕默德·西亚拉；巴里·奥沙利文 从后门钥匙到后门完备性：改进可满足CSP的已知硬度测量。 （英语） Zbl 1508.68327号 van Hoeve，Willem-Jan（编辑），约束编程、人工智能和运筹学的集成。2018年6月26日至29日在荷兰代尔夫特举行的2018年CPAIOR第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10848, 198-214 (2018).MSC公司：68T20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Escamocher}等人，Lect。注释计算。科学。10848198-214（2018年；Zbl 1508.68327） 全文： 内政部 链接
根克，贝古姆；穆罕默德·西亚拉；吉尔·西蒙宁；巴里·奥沙利文 关于稳固婚姻的复杂性。 （英语） Zbl 1425.91343号 高晓峰（主编）等，组合优化及其应用。第十一届国际会议，2017年COCOA，中国上海，2017年12月16-18日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10628, 441-448 (2017).MSC公司：91B68型 68T20型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Genc}等人，Lect。注释计算。科学。10628、441--448（2017年；Zbl 1425.91343） 全文： 内政部 arXiv公司
克里斯蒂安·贝西尔；弗里德里克·科里奇；纳吉布·拉扎尔；巴里·奥沙利文 约束获取。 （英语） 兹比尔1404.68139 Artif公司。智力。 244, 315-342 (2017).MSC公司：68T20型 68T05型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessiere}等人，Artif。智力。244315--342（2017；Zbl 1404.68139） 全文： 内政部 链接
巴里，赫尔利；拉尔斯·科特霍夫；尤里·马利茨基；迪帕克·梅塔；巴里·奥沙利文 高级组合技术。 （英语） Zbl 1461.68216号 Bessiere，Christian（编辑）等人，《数据挖掘和约束编程》。跨学科方法的基础。查姆：斯普林格。莱克特。注释计算。科学。10101191-225（2016年）。MSC公司：68T20型 68周01 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{B.Hurley}等人，Lect。注释计算。科学。10101191--225（2016；Zbl 1461.68216） 全文： 内政部
克里斯蒂安·贝西尔（编辑）；吕克·德·雷德（编辑）；拉尔斯·科特霍夫（编辑）；齐格弗里德·尼杰森（编辑）；巴里·奥沙利文（编辑）；佩德雷希·迪诺（编辑） 数据挖掘和约束编程。跨学科方法的基础。 （英语） Zbl 1460.68004号 计算机科学课堂讲稿人工智能课堂讲稿。商会：施普林格出版社（ISBN 978-3-319-50136-9/pbk；978-3-319-50137-6/ebook）。xii，第347页。(2016).MSC公司：68-06 68T05型 68T20型 90 C59 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessiere}（编辑）等人，《数据挖掘和约束编程》。跨学科方法的基础。查姆：斯普林格（2016；Zbl 1460.68004） 全文： 内政部
穆罕默德·西亚拉；巴里·奥沙利文 重新审视双边稳定性约束。 （英语） Zbl 1475.68357号 Quimper，Claude-Guy（编辑），约束编程中AI和OR技术的集成。2016年5月29日至6月1日在加拿大阿联酋班夫举行的2016年CPAIOR第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9676342-357（2016年）。MSC公司：68T20型 65年第68季度 91B68型 PDF格式BibTeX公司 XML格式引用 \textit{M.Siala}和\textit{B.O'Sullivan}，莱克特。注释计算。科学。9676、342--357（2016年；Zbl 1475.68357） 全文： 内政部
亚历杭德罗·阿贝莱兹；迪帕克·梅塔；巴里·奥沙利文；路易斯·奎萨达 一种基于约束的局部搜索边不相交根距离约束最小生成树问题。 （英语） Zbl 1459.68151号 Michel，Laurent（编辑），约束编程中AI和OR技术的集成。2015年5月18日至22日在西班牙巴塞罗那举行的2015年CPAIOR第十二届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9075，31-46（2015年）。MSC公司：68兰特 68T20型 90B10型 90立方厘米 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{A.Arbelaez}等人，Lect。注释计算。科学。9075，31-46（2015；Zbl 1459.68151） 全文： 内政部
迪帕克·梅塔；巴里·奥沙利文；路易斯·奎萨达 扩展量化约束满足问题首选解释的概念。 （英语） Zbl 1471.68255号 Leucker，Martin（编辑）等人，《计算的理论方面——ICTAC 2015》。第十二届国际学术讨论会，哥伦比亚卡利，2015年10月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9399，309-327（2015年）。MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Mehta}等人，Lect。注释计算。科学。9399，309--327（2015；Zbl 1471.68255） 全文： 内政部
纪尧姆·埃斯卡莫彻；巴里·奥沙利文 关于最小约束满足问题：复杂性和生成。 （英语） Zbl 1473.68186号 Lu，Zaixin（编辑）等，组合优化与应用。第九届国际会议，COCOA 2015，美国德克萨斯州休斯顿，2015年12月18-20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9486, 731-745 (2015).MSC公司：68T20型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Escamocher}和\textit{B.O'Sullivan}，莱克特。注释计算。科学。9486、731--745（2015年；Zbl 1473.68186） 全文： 内政部
巴里·奥沙利文（编辑） 约束编程的原理和实践。2014年9月8日至12日，第20届国际会议，CP 2014，法国里昂。诉讼程序。 （英语） Zbl 1316.68023号 计算机科学课堂讲稿8656.柏林：施普林格出版社（ISBN 978-3-319-10427-0/pbk）。xxvi，944页。(2014).MSC公司：68-06 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.O'Sullivan}（编辑），约束编程的原理和实践。第20届国际会议，2014年9月8日至12日，法国里昂。诉讼程序。柏林：施普林格出版社（2014；Zbl 1316.68023） 全文： 内政部
阿洛奇，大卫；伊莎贝·安德烈；苏菲·芭比；杰西卡·戴维斯；西蒙·德·吉夫里；乔治·卡特西雷洛斯；巴里·奥沙利文；史蒂夫·普雷斯特维奇；托马斯·希克斯；塞杜·特拉奥雷 计算蛋白质设计是一个优化问题。 （英语） Zbl 1407.92099号 Artif公司。智力。 212, 59-79 (2014).MSC公司：92D20型 68T20型 90立方厘米 90C20个 PDF格式BibTeX公司 XML格式引用 \textit{D.Allouche}等人，Artif。智力。212、59--79（2014年；Zbl 1407.92099） 全文： 内政部
尤里·马利茨基；迪帕克·梅塔；巴里·奥沙利文；赫尔穆特·西蒙尼斯 机器重新分配问题的大邻域搜索参数调整。 （英语） Zbl 1382.68227号 Gomes，Carla（ed.）等人，组合优化问题约束编程中AI和OR技术的集成。2013年5月18日至22日，第十届国际会议，CPAIOR 2013，美国纽约州约克敦高地。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38170-6/pbk）。计算机科学课堂讲稿7874176-192（2013）。MSC公司：68T20型 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Malitsky}等人，Lect。注释计算。科学。7874、176--192（2013年；Zbl 1382.68227） 全文： 内政部
哈德里安·坎巴扎德；埃曼纽尔·希伯拉德；巴里·奥沙利文 基于岗位注册的课程时间表问题的局部搜索和约束编程。 （英语） Zbl 1251.90120号 安·Oper。物件。 194, 111-135 (2012).MSC公司：90B35型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}等人，Ann.Oper。第194、111--135号决议（2012年；Zbl 1251.90120） 全文： 内政部
赫尔穆特·西蒙尼斯；巴里·奥沙利文 几乎是方形包装。 （英语） Zbl 1302.90191号 Achterberg，Tobias（ed.）等人，组合优化问题约束编程中AI和OR技术的集成。2011年5月23日至27日在德国柏林举行的2011年CPAIOR第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21310-6/pbk）。计算机科学讲座笔记6697196-209（2011）。MSC公司：90C27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Simonis}和\textit{B.O'Sullivan}，莱克特。注释计算。科学。6697196-209（2011年；兹比尔1302.90191） 全文： 内政部
哈维尔·拉罗萨（编辑）；巴里·奥沙利文（编辑） 制约因素的最新进展。第十四届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2009，巴塞罗那，西班牙，2009年6月15-17日。修订了选定的论文。 （英语） Zbl 1209.68005号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-19485-6/pbk）。vii，155页。(2011).MSC公司：68-06 68N17号 68T20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Larrosa｝（编辑）和\textit｛B.O'Sullivan｝（编辑），约束的最新进展。第十四届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2009，巴塞罗那，西班牙，2009年6月15-17日。修改选定的论文。柏林：施普林格出版社（2011；Zbl 1209.68005） 全文： 内政部
哈德里安·坎巴扎德；欧文·奥马霍尼；巴里·奥沙利文 多叶准直器排序问题的混合方法。 （英语） Zbl 1285.68152号 Lodi，Andrea（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2010年6月14日至18日在意大利博洛尼亚举行的2010年CPAIOR第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13519-4/pbk）。计算机科学课堂讲稿614056-70（2010）。MSC公司：68T20型 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}等人，Lect。注释计算。科学。6140、56-70（2010年；Zbl 1285.68152） 全文： 内政部
哈德里安·坎巴扎德；巴里·奥沙利文 “使用功能相关性重新设置表约束——解释生成的应用”勘误表。 （英语） 兹比尔1191.68627 约束条件 15，第1期，145-147（2010）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}和\textit{B.O'Sullivan}，约束15，第1号，145-147（2010；Zbl 1191.68627） 全文： 内政部
哈德里安·坎巴扎德；巴里·奥沙利文；芭芭拉·史密斯。 一种基于约束的解谜方法1225。 （英语） Zbl 1189.90130号 计算。数学。申请。 58，第81487-1497号（2009年）.MSC公司：90C27型 68T20型 05年05月05日 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}等人，计算。数学。申请。58，第8号，1487--1497（2009；Zbl 1189.90130） 全文： 内政部
伊戈尔·拉兹贡；巴里·奥沙利文 几乎2-SAT是固定参数可处理的。 （英语） Zbl 1184.68477号 J.计算。系统。科学。 75，第8期，435-450（2009）.MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Razgon}和\textit{B.O'Sullivan}，J.Compute。系统。科学。75，编号8，435--450（2009；Zbl 1184.68477） 全文： 内政部 arXiv公司
斯蒂法诺·比斯塔雷利；西蒙·福利；巴里·奥沙利文；弗朗西斯科·桑蒂尼 从婚姻到联盟：软CSP方法。 （英语） Zbl 1248.68451号 Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，1-15（2009）。MSC公司：68T20型 68T42型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人，Lect。注释计算。科学。5655，1--15（2009年；Zbl 1248.68451） 全文： 内政部
伊戈尔·拉兹贡；巴里·奥沙利文；格雷戈里·普罗万 基于网络流概括全局约束。 （英语） Zbl 1162.68658号 Fages，François（编辑）等人，约束的最新进展。第十二届ERCIM约束求解和约束逻辑编程国际研讨会，2007年CSCLP，法国罗克扬科特，2007年6月7日至8日。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-89811-5/pbk）。计算机科学课堂讲稿5129。人工智能课堂讲稿，127-141（2008）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Razgon}等人，Lect。注释计算。科学。5129、127--141（2008年；Zbl 1162.68658） 全文： 内政部
哈德里安·坎巴扎德；巴里·奥沙利文 使用功能相关性重新设置表约束，这是解释生成的应用程序。 （英语） Zbl 1146.68454号 约束条件 13，第3号，385-406（2008）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}和\textit{B.O'Sullivan}，约束13，第3号，385--406（2008；Zbl 1146.68454） 全文： 内政部
哈德里安·坎巴扎德；约翰·霍兰；Eoin奥马奥尼；巴里·奥沙利文 快速且可扩展的多米诺骨牌肖像生成。 （英语） Zbl 1142.68507号 Perron，Laurent（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2008年5月20日至23日，第五届国际会议，CPAIOR 2008，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68154-0/pbk）。计算机科学课程讲稿5015，51-65（2008）。MSC公司：68T20型 68T45型 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}等人，Lect。注释计算。科学。5015、51-65（2008年；Zbl 1142.68507） 全文： 内政部
伊戈尔·拉兹贡；巴里·奥沙利文 有效识别非循环聚类约束满足问题。 （英语） Zbl 1176.68203号 Azevedo，Francisco（编辑）等人，《约束的最新进展》。第十一届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2006，卡帕里亚，葡萄牙，2006年6月26-28日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-73816-9/pbk）。计算机科学课堂讲稿4651。人工智能课堂讲稿，154-168（2007）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Razgon}和\textit{B.O'Sullivan}，莱克特。注释计算。科学。4651、154--168（2007年；Zbl 1176.68203） 全文： 内政部
弗雷德里克·本哈莫（编辑）；纳伦达·尤西恩（编辑）；巴里·奥沙利文（编辑） 约束编程的趋势。 （英语） Zbl 1139.68407号 伦敦：ISTE（ISBN 978-1-905209-97-2/hbk）。第408页。(2007).MSC公司：68T20型 68-06 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Benhamou}（编辑）等人，《约束编程趋势》。伦敦：ISTE（2007；Zbl 1139.68407）
都铎胡鲁拜；巴里·奥沙利文 搜索启发对重尾行为的影响。 （英语） Zbl 1103.68812号 约束条件 11，编号2-3，159-178（2006）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hulubei}和\textit{B.O'Sullivan}，约束11，No.2--3159--178（2006；Zbl 1103.68812） 全文： 内政部
巴里·奥卡拉汉；巴里·奥沙利文；尤金·弗洛伊德。 生成交互式约束满足的更正解释。 （英语） Zbl 1153.68472号 van Beek，Peter（编辑），《约束编程的原理和实践——CP 2005》。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-29238-8/pbk）。计算机科学课堂讲稿3709445-459（2005）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.O'Callaghan}等人，莱克特。注释计算。科学。3709445-459（2005年；Zbl 1153.68472） 全文： 内政部
都铎胡鲁拜；巴里·奥沙利文 搜索启发式和重尾行为。 （英语） Zbl 1153.68464号 van Beek，Peter（编辑），《约束编程的原理和实践——CP 2005》。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-29238-8/pbk）。计算机科学课堂讲稿3709328-342（2005）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hulubei}和\textit{B.O'Sullivan}，莱克特。注释计算。科学。3709328--342（2005年；Zbl 1153.68464） 全文： 内政部
阿兰·霍兰德；巴里·奥沙利文 组合拍卖的超级解决方案。 （英语） 兹比尔1078.68749 Faltings，Boi（编辑）等人，约束的最新进展。ERCIM/CoLogNET约束求解和约束逻辑编程联合国际研讨会，CSCLP 2004，瑞士洛桑，2004年6月23日至25日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 3-540-25176-6/pbk）。计算机科学课堂讲稿3419。人工智能课堂讲稿，187-200（2005）。MSC公司：68T20型 91B26型 PDF格式BibTeX公司 XML格式引用 \textit{A.Holland}和\textit{B.O'Sullivan}，莱克特。注释计算。科学。3411987-200（2005年；Zbl 1078.68749） 全文： 内政部
杰罗姆·凯莱赫；巴里·奥沙利文 基于求值的半环元约束。 （英语） Zbl 1198.68226号 Monroy，Raül（编辑）等人，MICAI 2004：人工智能的进展。第三届墨西哥人工智能国际会议，墨西哥墨西哥城，2004年4月26日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21459-3/pbk）。计算机科学课堂讲稿2972。人工智能课堂讲稿，179-189（2004）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Kelleher｝和\textit｛B.O'Sullivan｝，Lect。注释计算。科学。2972179--189（2004年；Zbl 1198.68226） 全文： 内政部
斯蒂法诺·比斯塔雷利；杰罗姆·凯莱赫；巴里·奥沙利文 使用软约束进行权衡生成。 （英语） Zbl 1196.68224号 Apt，Krzysztof R.（编辑）等人，《约束的最新进展》。ERCIM/CoLogNET约束求解和约束逻辑编程联合国际研讨会，CSCLP 2003，匈牙利布达佩斯，2003年6月30日至7月2日。精选论文。柏林：施普林格出版社（ISBN 3-540-21834-3/pbk）。计算机科学讲义3010。人工智能课堂讲稿，124-139（2004）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人，Lect。注释计算。科学。3010、124--139（2004年；Zbl 1196.68224） 全文： 内政部
克里斯蒂安·贝西尔；雷米·科莱塔；尤金·弗洛伊德。；巴里·奥沙利文 在自动约束获取中利用示例的学习能力。 （英语） Zbl 1152.68540号 Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258123-137（2004）。MSC公司：68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bessiere}等人，Lect。注释计算。科学。3258、123-137（2004年；Zbl 1152.68540） 全文： 内政部
巴里·奥沙利文（编辑） 制约因素的最新进展。ERCIM/CologNet约束求解和约束逻辑编程联合国际研讨会，爱尔兰科克，2002年6月19-21日。精选论文。 （英语） Zbl 1018.00014号 计算机科学课堂讲稿. 2627. 柏林：斯普林格。x、 199页（2003年）。MSC公司：00B25型 68-06 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛B.O'Sullivan｝（编辑），约束方面的最新进展。ERCIM/CologNet约束求解和约束逻辑编程联合国际研讨会，爱尔兰科克，2002年6月19-21日。精选论文。柏林：施普林格出版社（2003；Zbl 1018.00014） 全文： 内政部 链接
尤金·弗洛伊德。；巴里·奥沙利文 为基于约束的交互式配置生成权衡。 （英语） Zbl 1067.68635号 Walsh，Toby（编辑），约束编程的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。注释计算。科学。2239, 590-594 (2001).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.C.弗洛伊德}和textit{B.O'Sullivan}，莱克特。注释计算。科学。2239590-594（2001年；兹比尔1067.68635） 全文： 链接