Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel. Compressing UNSAT CDCL Trees with Caching. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024. pages 792-799, SCITEPRESS, 2024. [doi]
Abstract is missing.