@收款{zbMATH07628148，作者={蔡，邵伟和李，博汉和张，辛迪}，标题={在线性整数算术}上局部搜索{SMT}，BookTitle={计算机辅助验证。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分}，国际标准图书编号={978-3-031-13187-5；978-3-331-13188-2}，页码={227--248}，年份={2022}，出版商={Cham:Springer}，语言={英语}，DOI＝{10.1007/978-3-031-13188-2_12}，关键词={68T20}，zbMATH={7628148}，Zbl={1514.68273}}