Marius Urbonas, Alan Bundy, Juan Casanova, Xue Li. The Use of Max-Sat for Optimal Choice of Automated Theory Repairs. In Max Bramer, Richard Ellis, editors, Artificial Intelligence XXXVII - 40th SGAI International Conference on Artificial Intelligence, AI 2020, Cambridge, UK, December 15-17, 2020, Proceedings. Volume 12498 of Lecture Notes in Computer Science, pages 49-63, Springer, 2020. [doi]
Abstract is missing.