丹尼尔·贝伦德;戈兰，沙哈尔;Yochai Twitto CHAMP：基于保护程序变量的Max Sat多路径算法。 （英语） Zbl 1506.68119号 离散优化。 47，文章ID 100760，17 p.（2023）.MSC公司：68T20型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berend}等人，《离散优化》。47，文章ID 100760，17 p.（2023；Zbl 1506.68119） 全文： DOI程序
丹尼尔·贝伦德;戈兰，沙哈尔;Yochai Twitto Go-MOCE：Max-Sat条件期望的贪婪排序方法。 （英语） Zbl 1507.68289号 离散优化。 43，文章ID 100685，30 p.（2022）.MSC公司：68T20型 68兰特 68瓦40 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berend}等人，《离散优化》。43，文章ID 100685，30 p.（2022；Zbl 1507.68289） 全文： DOI程序
丹尼尔·贝伦德;戈兰，沙哈尔;Yochai Twitto 使用条件期望方法为CCLS提供了一个改进的起点。 （英语） Zbl 1505.90097号 J.库姆。最佳方案。 44，第5期，3711-3734（2022）.MSC公司：90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berend}等人，J.Comb。最佳方案。44，编号5，3711--3734（2022；Zbl 1505.90097） 全文： DOI程序
丹尼尔·贝伦德;Yochai Twitto 随机最大饱和度的概率表征。 （英语） Zbl 1506.68120号 离散优化。 40，文章ID 100630，16 p.（2021）.MSC公司：68T20型 65年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Berend}和\textit{Y.Twitto}，离散优化。40，文章ID 100630，第16页（2021；Zbl 1506.68120） 全文： DOI程序
朱，郑;方、超;赫尔穆特·卡兹格拉伯。 \（\boldsymbol{borealis}\）–布尔优化问题的通用全局更新算法。 （英语） Zbl 1460.90110号 最佳方案。莱特。 14，第8期，2495-2514（2020）.MSC公司：90C09型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhu}等人，Optim。莱特。14，第8号，2495--2514（2020；Zbl 1460.90110） 全文： DOI程序 arXiv公司
蔡少伟;雷振东 新方法中的旧技术：子句加权、单位传播和杂交以获得最大可满足性。 （英语） Zbl 1493.68340号 工件。智力。 287，文章ID 103354，15 p.（2020）.MSC公司：68T20型 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit｛S.Cai｝和\textit｛Z.Lei｝，工件。智力。287，文章ID 103354，15 p.（2020；Zbl 1493.68340） 全文： DOI程序
徐振兴;何坤;李楚敏 针对MAX-SAT问题，提出了一种带有变异和重启策略的迭代路径中断方法。 （英语） Zbl 1458.68205号 计算。操作。物件。 104, 49-58 (2019).MSC公司：68T20型 68兰特 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xu}等人，计算。操作。第104号、第49-58号决议（2019年；Zbl 1458.68205） 全文： DOI程序 arXiv公司
杰罗姆·朗;杰罗姆·梅根;夏丽蓉 在具有条件词典偏好的多问题域上进行投票。 （英语） Zbl 1483.91077号 工件。智力。 265, 18-44 (2018). 审核人：Annibal Parracho Sant’Anna（里约热内卢） MSC公司：91B14号机组 91B12号机组 2008年8月91日 PDF格式BibTeX公司 XML格式引用 \textit{J.Lang}等人，Artif。智力。265、18-44（2018；Zbl 1483.91077） 全文： DOI程序 链接
罗，川;蔡少伟;苏凯乐;黄文轩 CCEHC：一种有效的加权局部最大可满足性局部搜索算法。 （英语） Zbl 1402.68163号 工件。智力。 243, 26-44 (2017).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Luo｝等人，人工制品。智力。243、26-44（2017；Zbl 1402.68163） 全文： DOI程序
丹尼尔·贝伦德;Yochai Twitto 随机Max（r）-Sat的归一化自相关长度以概率收敛到\（1-1/2^r）/r。 （英语） Zbl 1478.68200号 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9710, 60-76 (2016).MSC公司：68兰特 60F05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Berend｝和\textit｛Y.Twitto｝，Lect。票据计算。科学。9710，60-76（2016；Zbl 1478.68200） 全文： DOI程序