Investigating the Existence of Holey Latin Squares via Satisfiability Testing.
Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
Browse the full PRICAI paper archive.
Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
Browse the full PRICAI paper archive.