徐伟;张哲;周广燕 通过植入约束范围长度不断增长的随机约束满足问题模型，生成难以满足的实例。 （英语） Zbl 07642801号 物理A 609，文章ID 128367，14 p.（2023）.MSC公司：82至XX PDF格式BibTeX公司 XML格式引用 \textit{W.Xu}等人，Physica A 609，文章ID 128367，14 p.（2023；Zbl 07642801） 全文： 内政部
徐伟;张哲 具有增长域的种植约束满足问题的解空间结构。 （英语） Zbl 07499337号 《统计力学杂志》。理论实验。 2022年，第3期，文章ID 033401，29 p.（2022）.MSC公司：82至XX PDF格式BibTeX公司 XML格式引用 \textit{W.Xu}和\textit{Z.Zhang}，J.Stat.Mech。理论实验2022，第3期，文章ID 033401，29页（2022；Zbl 07499337） 全文： 内政部 arXiv公司
巴勃罗·圣塞贡多;法比奥·富里尼;拉斐尔·莱昂 二元约束满足问题的一种新的分枝滤波精确算法。 （英语） Zbl 1490.90255号 欧洲药典。物件。 299，第2期，448-467（2022）.MSC公司：90C27型 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.San Segundo}等人，《欧洲药典》。第299号决议，第2号，448--467（2022年；Zbl 1490.90255） 全文： 内政部
赵春燕;傅彦荣 增长域随机约束满足问题的信度传播引导抽取算法。 （英语） Zbl 1504.68206号 《统计力学杂志》。理论实验。 2021，第3期，文章ID 033408，第26页（2021）.MSC公司：68T20型 第68季度87 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{C.-Y.Zhao}和textit{Y.-R.Fu}，J.Stat.Mech。理论实验2021，第3期，文章ID 033408，26页（2021；Zbl 1504.68206） 全文： 内政部
徐伟;龚，福州;周广燕 一般约束满足问题模型的聚类阶段。 （英语） Zbl 07571814号 物理A 537，文章ID 122708，15 p.（2020）.MSC公司：82至XX PDF格式BibTeX公司 XML格式引用 \textit{W.Xu}等人，Physica A 537，文章ID 122708，15 p.（2020；Zbl 07571814） 全文： 内政部
奥姆拉尼，穆罕默德·阿明;Wady Naanaa 生成带有强制模式和禁止模式的图的约束：分子图的应用。 （英语） 兹比尔1477.68244 约束条件 25号1-2、1-22（2020年）.MSC公司：68兰特 05立方厘米92 90C27型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Omrani}和\textit{W.Naanaa}，约束25，No.1--2，1--22（2020；Zbl 1477.68244） 全文： 内政部
徐伟;龚，福州 纯随机行走算法在增长域约束满足问题上的性能。 （英语） Zbl 1354.90120号 J.库姆。最佳方案。 32，第1号，51-66（2016）.MSC公司：90C27型 68瓦20 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{W.Xu}和\textit{F.Gong}，J.Comb。最佳方案。32，第1号，51--66（2016；Zbl 1354.90120） 全文： 内政部
罗伊·齐万;史蒂文·冈本;希拉·贝利德 随时随地探索分布式约束优化的局部搜索。 （英语） Zbl 1405.68334号 Artif公司。智力。 212, 1-26 (2014).MSC公司：68T20型 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{R.Zivan}等人，Artif。智力。212，1--26（2014；Zbl 1405.68334） 全文： 内政部
张永刚;尹、钱;朱兴军;李占山;张思波;刘，权 双向单点弧一致性的新算法。 （英语） Zbl 1299.68150号 数学。问题。工程师。 2013年，文章ID 904768，10 p.（2013）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人，数学。问题。Eng.2013，文章ID 904768，10 p.（2013；Zbl 1299.68150） 全文： 内政部
范，云;沈静;徐，柯 随机约束满足问题的一般模型和阈值。 （英语） 兹比尔1270.68267 Artif公司。智力。 193, 1-17 (2012).MSC公司：68T20型 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fan}等人，Artif。智力。193，1-17（2012；Zbl 1270.68267） 全文： 内政部 链接
贝拉伊德·本哈穆;巴黎，莱昂内尔;皮埃尔·西格尔 在逻辑框架中处理可满足性和（n）元CSP。 （英语） Zbl 1243.68264号 J.汽车。推理 48，第3期，391-417（2012）.MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{B.Benhamou}等人，J.Autom。推理48，No.3，391--417（2012；Zbl 1243.68264） 全文： 内政部
哈罗德·康纳马赫 随机XOR-SAT上DPLL的精确阈值和XOR-SAT的NP-完全扩展。 （英语） Zbl 1280.68237号 西奥。计算。科学。 421, 25-55 (2012).MSC公司：68T20型 第68季度87 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{H.Connamacher}，Theor。计算。科学。421，25-55（2012；Zbl 1280.68237） 全文： 内政部
托比·沃尔什 计算复杂性是操作的障碍吗？ （英语） Zbl 1230.91044号 安。数学。Artif公司。智力。 62，编号1-2，7-26（2011）.MSC公司：91B14号机组 91B12号机组 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Walsh}，Ann.数学。Artif公司。智力。62，编号1--2，7--26（2011；Zbl 1230.91044） 全文： 内政部 arXiv公司
范，云;沈静 随机约束满足问题的相变。 （英语） Zbl 1216.68243号 Artif公司。智力。 175，编号3-4，914-927（2011）.MSC公司：68T20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fan}和\textit{J.Shen}，Artif。智力。175，编号3--4，914--927（2011；Zbl 1216.68243） 全文： 内政部
尼克·威尔逊;格里姆斯、迪尔米德;尤金·弗洛伊德。 基于期望成本的约束满足问题的交叉求解和引出。 （英语） Zbl 1208.68208号 约束条件 15，第4期，540-573（2010）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Wilson}等人，《约束15》，第4期，540-573（2010；Zbl 1208.68208） 全文： 内政部 链接
米尔科·吉兰;玛丽亚·西尔维亚·皮尼;弗朗西丝卡·罗西;维纳布尔，K.布伦特;托比·沃尔什 缺少偏好的软约束问题的启发式策略：属性、算法和实验研究。 （英语） Zbl 1207.68354号 Artif公司。智力。 174，编号3-4，270-294（2010）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelain}等人，Artif。智力。174，编号3--4，270--294（2010；Zbl 1207.68354） 全文： 内政部
克利斯朵夫·勒库特;拉赫达尔·塞伊斯;塞巴斯蒂安·塔巴里;文森特·维达尔 从约束编程中的最后一个冲突进行推理。 （英语） Zbl 1185.68645号 Artif公司。智力。 173，第18期，1592-1614（2009）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Lecoutre}等人，Artif。智力。173，第18号，1592--1614（2009；Zbl 1185.68645） 全文： 内政部
迈克尔·莫洛伊 巨型组件什么时候会带来不满意？ （英语） Zbl 1195.05077号 组合数学 28，第6号，693-734（2008）. 审核人：David B.Penman（科尔切斯特） MSC公司：05C82号 65年第68季度 60二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{M.Molloy}，Combinatorica 28，第6号，693--734（2008；Zbl 1195.05077） 全文： 内政部
哈米德·哈塔米;迈克尔·莫洛伊 约束满足问题和同态的尖锐阈值。 （英语） Zbl 1182.05110号 随机结构。算法 33，第3号，310-332（2008）.MSC公司：05立方厘米80 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatami}和\textit{M.Molloy}，随机结构。算法33，编号3，310-332（2008；Zbl 1182.05110） 全文： 内政部 arXiv公司
马可·科雷亚;佩德罗·巴拉奥纳 关于单例一致性和look-ahead启发式的集成。 （英语） Zbl 1162.68651号 Fages，François（编辑）等人，约束的最新进展。第十二届ERCIM约束求解和约束逻辑编程国际研讨会，2007年CSCLP，法国罗克扬科特，2007年6月7日至8日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-89811-5/pbk）。计算机科学课堂讲稿5129。人工智能课堂讲稿，62-75（2008）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Correia}和\textit{P.Barahona}，莱克特。注释计算。科学。5129、62-75（2008年；Zbl 1162.68651） 全文： 内政部
徐，柯;法国布赛马;弗雷德·海默里;克利斯朵夫·勒库特 随机约束满足：容易生成硬（可满足的）实例。 （英语） 兹比尔1168.68554 Artif公司。智力。 171，编号8-9，514-534（2007）.MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Xu}等人，Artif。智力。171，编号8--9，514--534（2007；Zbl 1168.68554） 全文： 内政部
朱利安·乌尔曼。 非二进制约束满足的分区搜索。 （英语） Zbl 1119.68446号 信息科学。 177，第18号，3639-3678（2007）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Ullmann}，信息科学。177，第18号，3639--3678（2007；Zbl 1119.68446） 全文： 内政部
都铎胡鲁拜;巴里·奥沙利文 搜索启发对重尾行为的影响。 （英语） 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 1088.68163号 西奥。计算。科学。 355，第3期，291-302（2006）.MSC公司：68T20型 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Xu}和\textit{W.Li}，Theor。计算。科学。355，第3号，291--302（2006；Zbl 1088.68163） 全文： 内政部
高勇;约瑟夫·卡尔伯森 随机约束满足问题的解决复杂性：故事的另一半。 （英语） Zbl 1090.68100号 离散应用程序。数学。 153，编号1-3，124-140（2005）.MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gao}和\textit{J.Culberson}，离散应用。数学。153，编号1--3，124-140（2005；Zbl 1090.68100） 全文： 内政部
埃利泽·洛津斯基。 再看一看相变现象。 （英语） Zbl 1101.68843号 J.实验理论。Artif公司。智力。 17，第3期，243-266（2005）.MSC公司：68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Lozinskii}，J.Exp.Theor。Artif公司。智力。17，第3号，243--266（2005；Zbl 1101.68843） 全文： 内政部
纳迪亚·克里诺;埃尔维·多德 随机CSP的组合锐度准则和相变分类。 （英语） Zbl 1085.68151号 Inf.计算。 190，第2期，220-238（2004）.MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}和\textit{H.Daudé}，Inf.Comput。190，第2号，220--238（2004；Zbl 1085.68151） 全文： 内政部
徐，柯;李伟 关于随机（k）-SAT和随机CSP解之间的平均相似度。 （英语） Zbl 1074.68025号 离散应用程序。数学。 136，第1期，125-149（2004）.MSC公司：65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Xu}和\textit{W.Li}，离散应用。数学。136，编号1，125--149（2004；Zbl 1074.68025） 全文： 内政部
高勇;约瑟夫·卡尔伯森 随机约束满足问题的解决复杂性：故事的另一半。 （英语） Zbl 1179.68142号 Kranakis，Evangelos（编辑）等人，《典型案例复杂性和相变》。研讨会论文，加拿大安大略省渥太华，2003年5月14日至16日。阿姆斯特丹：爱思唯尔。离散数学电子笔记16，15-20（2003）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gao}和\textit{J.Culberson}，电子。注释离散数学。16、15-20（2003年；Zbl 1179.68142） 全文： 内政部
史密斯，B.M。 在随机二进制约束满足问题中构造一个渐近相变。 （英语） Zbl 0992.68191号 西奥。计算。科学。 265，编号1-2，265-283（2001）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.M.Smith}，Theor。计算。科学。265，编号1--2，265--283（2001；Zbl 0992.68191） 全文： 内政部