标题/作者 | 引用次数 | 年份 |
---|---|---|
L Cruz-Filipe, MJH Heule, WA Hunt Jr, M Kaufmann, P Schneider-Kamp CADE, 220-236 | 72 | 2017 |
S Schulz, S Cruanes, P Vukmirovic CADE, 495-507 | 68 | 2019 |
A Steen, C Benzmüller IJCAR, 108-116 | 65 | 2018 |
K Chvalovský, J Jakubuv, M Suda, J Urban CADE, 197-215 | 55 | 2019 |
F Lonsing, U Egly CADE, 371-384 | 53 | 2017 |
P Lammich CADE, 237-254 | 46 | 2017 |
A Ignatiev, F Pereira, N Narodytska, J Marques-Silva IJCAR, 627-645 | 45 | 2018 |
A Bentkamp, JC Blanchette, S Cruanes, U Waldmann IJCAR, 28-46 | 43 | 2018 |
MJH Heule, B Kiesl, A Biere CADE, 130-147 | 35 | 2017 |
H Barbosa, A Reynolds, D El Ouraoui, C Tinelli, CW Barrett CADE, 35-54 | 34 | 2019 |
A Bentkamp, J Blanchette, S Tourret, P Vukmirovic, U Waldmann CADE, 55-73 | 34 | 2019 |
H Barbosa, JC Blanchette, P Fontaine CADE, 398-412 | 32 | 2017 |
B Piotrowski, J Urban IJCAR, 566-574 | 31 | 2018 |
J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J Urban Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris … | 30 | 2020 |
J Nagele, B Felgenhauer, A Middeldorp CADE, 385-397 | 30 | 2017 |
A Schlichtkrull, JC Blanchette, D Traytel, U Waldmann IJCAR, 89-107 | 28 | 2018 |
A Bhayat, G Reger Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris … | 27 | 2020 |
B Kiesl, A Rebola-Pardo, MJH Heule IJCAR, 516-531 | 27 | 2018 |
J Urbani, M Krötzsch, CJH Jacobs, I Dragoste, D Carral IJCAR, 680-688 | 26 | 2018 |
Y Nagashima, R Kumar CADE, 528-545 | 25 | 2017 |
1 - 20
计算机程序会自动估算并确定日期和引用次数。