paper-announcement
an archive of posts in this category
| Aug 27, 2026 | How short can a proof of impossibility be? |
|---|---|
| Jun 14, 2026 | Inferring hidden constraints for scheduling solvers |
| Jun 15, 2025 | A new approach to solving hard scheduling problems via disjointness |