| 标题/作者 | 引用次数 | 年份 |
|---|---|---|
T Dreossi, A Donzé, SA Seshia Journal of Automated Reasoning 63 (4), 1031-1053 | 193 | 2019 |
J Giesl, C Aschermann, M Brockschmidt, F Emmes, F Frohn, C Fuhs, ... Journal of Automated Reasoning 58 (1), 3-31 | 131 | 2017 |
G Bancerek, C Byliński, A Grabowski, A Korniłowicz, R Matuszewski, ... Journal of Automated Reasoning 61 (1), 9-32 | 124 | 2018 |
A Platzer Journal of Automated Reasoning 59 (2), 219-265 | 106 | 2017 |
B Parsia, N Matentzoglu, RS Gonçalves, B Glimm, A Steigmiller Journal of Automated Reasoning 59 (4), 455-482 | 102 | 2017 |
Ł Czajka, C Kaliszyk Journal of Automated Reasoning 61 (1), 423-453 | 87 | 2018 |
JC Blanchette, M Fleury, P Lammich, C Weidenbach Journal of Automated Reasoning 61 (1), 333-365 | 59 | 2018 |
Q Cao, L Beringer, S Gruetter, J Dodds, AW Appel Journal of Automated Reasoning 61 (1), 367-422 | 59 | 2018 |
M Sozeau, A Anand, S Boulier, C Cohen, Y Forster, F Kunze, G Malecha, ... Journal of Automated Reasoning 64 (5), 947-999 | 59 | 2020 |
M Sinn, F Zuleger, H Veith Journal of Automated Reasoning 59 (1), 3-45 | 57 | 2017 |
D Beyer, M Dangl, P Wendler Journal of Automated Reasoning 60 (3), 299-335 | 54 | 2018 |
A Charguéraud, F Pottier Journal of Automated Reasoning 62 (3), 331-365 | 53 | 2019 |
M Ganesalingam, WT Gowers Journal of Automated Reasoning 58 (2), 253-291 | 50 | 2017 |
S Jha, V Raman, D Sadigh, SA Seshia Journal of Automated Reasoning 60 (1), 43-62 | 49 | 2018 |
S Huber Journal of Automated Reasoning 63 (2), 173-210 | 43 | 2019 |
J Avigad, J Hölzl, L Serafin Journal of Automated Reasoning 59 (4), 389-423 | 40 | 2017 |
A Champion, T Chiba, N Kobayashi, R Sato Journal of Automated Reasoning 64 (7), 1393-1418 | 39 | 2020 |
İİ Ceylan, R Peñaloza Journal of Automated Reasoning 58 (1), 67-95 | 38 | 2017 |
A Bentkamp, J Blanchette, S Tourret, P Vukmirović, U Waldmann Journal of Automated Reasoning 65 (7), 893-940 | 34 | 2021 |
A Schlichtkrull Journal of Automated Reasoning 61 (1), 455-484 | 33 | 2018 |
1 - 20
计算机程序会自动估算并确定日期和引用次数。