雷振东;蔡少伟;罗,川;霍尔格·胡斯 伪布尔优化的高效局部搜索。 (英语) Zbl 07495583号 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 332-348 (2021).MSC公司:65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Lei}等人,Lect。注释计算。科学。12831332--348(2021;Zbl 07495583) 全文: 内政部 链接
蔡少伟;雷振东 新方法中的旧技术:子句加权、单位传播和杂交以获得最大可满足性。 (英语) Zbl 1493.68340号 Artif公司。智力。 287,文章ID 103354,15 p.(2020).MSC公司:68T20型 90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}和\textit{Z.Lei},Artif。智力。287,文章ID 103354,15 p.(2020;Zbl 1493.68340) 全文: 内政部
蔡少伟;罗,川;林金坤;苏凯乐 部分MaxSAT的新局部搜索方法。 (英语) Zbl 1386.68152号 Artif公司。智力。 240, 1-18 (2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,Artif。智力。240,1-18(2016;Zbl 1386.68152) 全文: 内政部