Introduction
Oddments
Publications
Search
Publications
Publications and longer-form work.
Syntax-Guided Pruning Rule Synthesis for Single Machine Scheduling.
Upcoming 2026
Automated Verification of Pruning Rules for Runway Sequencing.
(
PATAT 2026
)
