Jun 14, 2026 Inferring hidden constraints for scheduling solvers Jun 15, 2025 A new approach to solving hard scheduling problems via disjointness