Investigating the Existence of Costas Latin Squares via Satisfiability Testing.

Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang

Browse the full SAT paper archive.