2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Complete Symmetry Breaking for Finite Models
Marek Dančo, Mikoláš Janota, Michael Codish +1
This paper introduces a SAT-based technique that calculates a compact and complete symmetry-break for finite model finding, with the focus on structures with a single binary operat…
cs.LO2025★ 2 cited
SAT-Based Techniques for Lexicographically Smallest Finite Models
Mikoláš Janota, Choiwah Chow, João Araújo +2
This paper proposes SAT-based techniques to calculate a specific normal form of a given finite mathematical structure (model). The normal form is obtained by permuting the domain e…