Skip to content

Compact Symmetry Breaking for Tournaments.

Evan Lohn, Chris Lambert, Marijn J. H. Heule

VenueBFMCAD
Year2022
ProceedingsFMCAD

Browse the full FMCAD paper archive.