Prohlížení Publikační činnost ČVUT dle autora "Araujo J."

Zobrazují se záznamy 1-1 z 1

    • 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 ...