从25查看出版物1-25
2024
2023
- 关于向量的推理:序列理论的可满足模盈盛0007,安德烈斯·诺兹利,安德鲁·雷诺兹0001,约尼·佐哈尔,大卫·L·迪尔,沃尔夫冈·格里斯坎普,Junkil公园,沙兹·卡迪尔,克拉克·W·巴雷特,塞萨尔·蒂内利.1月, 67(3):32,2023年9月。 [美国国防部]
- 关于向量的推理:序列理论的可满足模盈盛0007,安德烈斯·诺兹利,安德鲁·雷诺兹0001,尤尼·佐哈尔,大卫·L·迪尔,沃尔夫冈·格里斯坎普,Junkil公园,沙兹·卡迪尔,克拉克·W·巴雷特,塞萨尔·蒂内利.1月, 67(3):32,2023年9月。 [美国国防部]
- 自动推理证明证书的生成和利用哈尼尔·巴博萨,克拉克·W·巴雷特,拜伦·库克,布鲁诺·杜特雷,Gereon Kremer公司,汉娜·拉奇尼特,艾娜·尼梅茨,安德烈斯·诺兹利,亚历克斯·奥兹德米尔,马蒂亚斯·普雷纳,安德鲁·雷诺兹0001,塞萨尔·蒂内利,尤尼·佐哈尔.CACM公司, 66(10):86-95,2023年10月。 [美国国防部]
2022
- 工业级SMT解决方案中的柔性验证生产哈尼尔·巴博萨,安德鲁·雷诺兹0001,Gereon Kremer公司,汉娜·拉奇尼特,艾娜·尼梅茨,安德烈斯·诺兹利,亚历克斯·奥兹德米尔,马蒂亚斯·普雷纳,阿尔琼·维斯瓦纳坦,斯科特·维特里,尤尼·佐哈尔,塞萨尔·蒂内利,克拉克·W·巴雷特.2022学年:15-35 [美国国防部]
- cvc5:一款通用且具有工业实力的SMT解决方案哈尼尔·巴博萨,克拉克·W·巴雷特,马丁·布莱恩,Gereon Kremer公司,汉娜·拉奇尼特,马凯·曼,阿卜杜勒赫曼·穆罕默德,穆达蒂尔·穆罕默德,艾娜·尼梅茨,安德烈斯·诺兹利,亚历克斯·奥兹德米尔,马蒂亚斯·普雷纳,安德鲁·雷诺兹0001,盈盛0007,塞萨尔·蒂内利,尤尼·佐哈尔.TACAS 2022年:415-442 [美国国防部]
2020
2019
2018
2017
2016
2014
2013
登录或注册以查看更多结果。