R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling. - Raj Jain; Marc Wetter (CoRR, 2025)