C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Investigating the Existence of Costas Latin Squares via Satisfiability Testing.
Jiwei Jin
Yiqi Lv
Cunjing Ge
Feifei Ma
Jian Zhang
Published in:
SAT (2021)
Keyphrases
</>
satisfiability testing
propositional logic
tie breaking
model counting
weighted model counting
three dimensional
cooperative
data sets
machine learning
information retrieval