https://www.toby.wiki/oddments/jazzhands/ 2023-11-04T00:00:00+00:00 https://www.toby.wiki/oddments/ https://www.toby.wiki/publications/ https://www.toby.wiki/search/ https://www.toby.wiki/publications/automated-verification-of-pruning-rules-for-runway-sequencing/ 2026-08-01T00:00:00+00:00 https://www.toby.wiki/publications/syntax-guided-pruning-rule-synthesis-for-single-machine-scheduling/ 2026-12-24T00:00:00+00:00 https://www.toby.wiki/ https://www.toby.wiki/