Testing Hypotheses Generated by Constraints. - Larsson, Martin; Ramdas, Aaditya; Ruf, Johannes (Mathematics of Operations Research (INFORMS), 2026)