Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel. Compressing UNSAT Search Trees with Caching. In Ana Paula Rocha 0001, Luc Steels, H. Jaap van den Herik, editors, Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 3, Lisbon, Portugal, February 22-24, 2023. pages 358-365, SCITEPRESS, 2023. [doi]
Abstract is missing.