Browsing Publikační činnost ČVUT by Author "Araujo J."
Now showing items 1-1 of 1
-
SAT-Based Techniques for Lexicographically Smallest Finite Models
Author: Janota M.; Chow Ch.; Araujo J.; Codish M.; Vojtěchovský P.
(AAAI Press, 2024)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 elements so that the representation of the ...