艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利 关于模参数位向量的可满足性。 (英语) 兹伯利07433026 J.汽车。推理 65,第7号,1001-1025(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,J.Autom。推理65,No.7,1001--1025(2021;Zbl 07433026) 全文: 内政部
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;克拉克·巴雷特;塞萨尔·蒂内利 利用可逆条件求解量化位向量约束。 (英语) Zbl 1519.68236号 形式方法系统。设计。 57,编号1,87-115(2021).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niemetz}等人,《形式方法系统》。设计。57,编号1,87--115(2021;Zbl 1519.68236) 全文: 内政部 arXiv公司