TY - RPRT TI - Constraint Reasoning and Large Language Models Join Forces: Providing Contrastive Explanations for Real-World Optimisation-Based Applications AU - Roger X. Lera-Leri AU - Filippo Bistaffa AU - Athina Georgara AU - Juan A. Rodríguez-Aguilar PY - 2026 UR - https://arxiv.org/abs/2610.31119 ID - 2610.31119 ER -