SAT-Inspired Eliminations for Superposition
SAT-Inspired Eliminations for Superposition
复制标题
受 SAT 启发的叠加消除法
DOI：
10.34727/2021/isbn.978-3-85448-046-4_32
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Heule, Marijn
中科院分区：
文献类型：
--
作者：
Vukmirovic, Petar;Blanchette, Jasmin;Heule, Marijn
登录
查看更多内容
DOI：
10.1007/978-3-030-51074-9_16
发表时间：
2020-05-30
期刊：
Automated Reasoning
影响因子：
--
作者：
Bhayat A;Reger G
通讯作者：
Reger G
DOI：
--
发表时间：
2001
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
A. Riazanov;A. Voronkov
通讯作者：
A. Voronkov
布尔公式的自动重新编码
DOI：
--
发表时间：
2012
期刊：
Haifa Verification Conference
影响因子：
--
作者：
Norbert Manthey;Marijn J. H. Heule;Armin Biere
通讯作者：
Armin Biere
DOI：
10.1007/s10472-009-9150-9
发表时间：
2009-02-01
影响因子：
1.2
作者：
Fietzke, Arnaud;Weidenbach, Christoph
通讯作者：
Weidenbach, Christoph
DOI：
10.1007/978-3-662-46081-8
发表时间：
2015
期刊：
--
影响因子：
--
作者：
D. D'Souza;A. Lal;K. Larsen
通讯作者：
D. D'Souza;A. Lal;K. Larsen