Prohlížení Publikační činnost ČVUT dle autora "Araujo J."
-
SAT-Based Techniques for Lexicographically Smallest Finite Models
Autor: 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 ...