Compact Symmetry Breaking for Tournaments. - Evan Lohn; Chris Lambert; Marijn J. H. Heule (FMCAD, 2022)

Simpler Analyses of Union-Find. - Zhiyi Huang 002; Chris Lambert; Zipei Nie; Richard Peng (CoRR, 2023)