Compressing UNSAT CDCL Trees with Caching Topics: Constraint Satisfaction; Explainable Artificial Intelligence In Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART, 792-799, 2024 , Rome, Italy