Login / Signup
Investigating the Existence of Holey Latin Squares via Satisfiability Testing.
Minghao Liu
Rui Han
Fuqi Jia
Pei Huang
Feifei Ma
Hantao Zhang
Jian Zhang
Published in:
PRICAI (2) (2023)
Keyphrases
</>
satisfiability testing
propositional logic
model counting
tie breaking
weighted model counting
computer vision
cooperative
real time
data sets
case study
face recognition
expert systems
information technology
graphical models
first order logic
complementarity problems