Reasoning About Vectors Using an SMT Theory of Sequences
Reasoning About Vectors Using an SMT Theory of Sequences
复制标题
使用 SMT 序列理论推理向量
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Tinelli, Cesare
中科院分区：
文献类型：
--
作者：
Sheng, Ying;Noetzli, Andres;Reynolds, Andrew;Zohar, Yoni;Dill, David;Grieskamp, Wolfgang;Park, Junkil;Qadeer, Shaz;Barrett, Clark;Tinelli, Cesare
