Exhaustive Generation of Pattern-Avoiding s-Words. - Samuel Buick; Madeleine Goertz; Amos Lastmann; Kunal Pal; Helen Qian; Sam Tacheny; Aaron Williams; Leah Williams; Yulin Zhai (CoRR, 2025)