For decades, some small factory scheduling problems with just 20 jobs stayed unsolved until now. — Synthesis