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