蔡少伟;李伯翰;张新迪 可满足模整数算术理论的局部搜索。 (英语) Zbl 07760993号 ACM事务处理。计算。日志。 24,第4条,第32条,第26页(2023年)。MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,ACM Trans。计算。日志。24,第4号,第32条,第26页(2023;Zbl 077600993) 全文: 内政部 arXiv公司
蔡少伟;李伯翰;张新迪 基于线性整数算法的SMT局部搜索。 (英语) Zbl 1514.68273号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13372, 227-248 (2022).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}等人,Lect。注释计算。科学。13372,227--248(2022;Zbl 1514.68273) 全文: 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;阿明·比尔 基于传播的比特精确推理局部搜索。 (英语) Zbl 1377.68134号 形式方法系统。设计。 51,第3号,608-636(2017)。MSC公司:60年第68季度 03B70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,《形式方法系统》。设计。51,第3号,608--636(2017;Zbl 1377.68134) 全文: 内政部
斯特凡诺·特索;罗伯托·塞巴斯蒂亚尼;安德烈·帕塞里尼 结构化学习模块理论。 (英语) Zbl 1404.68121号 工件。智力。 244, 166-187 (2017)。MSC公司:68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Teso}等人,Artif。智力。244166-187(2017;Zbl 1404.68121) 全文: 内政部 arXiv公司