"symmetry detection" Papers
3 papers found
Conference
Exploiting Symmetries in MUS Computation
Ignace Bleukx, Hélène Verhaeghe, Bart Bogaerts et al.
AAAI 2025paperarXiv:2412.13606
1
citations
When GNNs meet symmetry in ILPs: an orbit-based feature augmentation approach
Qian Chen, Lei Li, Qian Li et al.
ICLR 2025arXiv:2501.14211
1
citations
Colour Passing Revisited: Lifted Model Construction with Commutative Factors
Malte Luttermann, Tanya Braun, Ralf Möller et al.
AAAI 2024paperarXiv:2309.11236
10
citations