蔡少伟;李博翰;张新迪 可满足模整数算术理论的局部搜索。 (英语) 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 07760993) 全文: 内政部 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) 全文: 内政部
马来K·加奈。;穆拉利达尔·塔卢普尔;阿尔蒂·古普塔 SDSAT:在解决差异逻辑时,小域编码和惰性方法的紧密集成。 (英语) Zbl 1129.68081号 J.满意。布尔模型。计算。 3,编号1-2,91-114(2007).MSC公司:68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Ganai}等人,J.Satisfe。布尔模型。计算。3,编号1--2,91-114(2007;Zbl 1129.68081)