Complete Symmetry Breaking for Finite Models. - Marek Danco; Mikolás Janota; Michael Codish; João Jorge Araújo (AAAI, 2025)

Complete Symmetry Breaking for Finite Models. - Marek Danco; Mikolás Janota; Michael Codish; João Araújo 002 (CoRR, 2025)

From MBQI to Enumerative Instantiation and Back. - Marek Danco; Petra Hozzová; Mikolás Janota (CoRR, 2025)