{"id":"arxiv/2603.00469","url":"https://arxiv.org/abs/2603.00469","tags":["cs.AI","math.OC"],"score":0,"title":"Why Not? Solver-Grounded Certificates for Explainable Mission Planning","domain":"cs.AI","source":"arxiv","authors":["Najeeb Khan"],"reviews":0,"subject":"cs.AI","summary":"Operators of Earth observation satellites need justifications for scheduling decisions: why a request was selected, rejected, or what changes would make it schedulable. Existing approaches construct post-hoc reasoning layers independent of the optimizer, risking non-causal attributions, incomplete constraint conjunctions, and solver-path dependence. We take a faithfulness-first approach: every explanation is a certificate derived from the optimization model itself: minimal infeasible subsets for rejections, tight constraints and contrastive trade-offs for selections, and inverse solves for…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-02-28","reactions":{}}