Andrea Balogh, Guillaume Escamocher, Barry O'Sullivan. Partial Compilation of SAT Using Selective Backbones. In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu, editors, ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Volume 372 of Frontiers in Artificial Intelligence and Applications, pages 174-181, IOS Press, 2023. [doi]
Abstract is missing.