2 citations · 2 across the 2 of their papers we have counts for
2 papers
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…
math.CO2024
The Hadamard multiary quasigroup product
Raúl M. Falcón, L. Mella, P. Vojtěchovský
The Hadamard quasigroup product has recently been introduced as a natural generalization of the classical Hadamard product of matrices. It is defined as the superposition operator…