Stepan Kochemazov, Oleg Zaikin 0002, Alexander A. Semenov, Victor Kondratiev. Speeding Up CDCL Inference with Duplicate Learnt Clauses. In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarín, Jérôme Lang, editors, ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Volume 325 of Frontiers in Artificial Intelligence and Applications, pages 339-346, IOS Press, 2020. [doi]
Abstract is missing.