@inproceedings{conf/pricai/LiuHJHMZZ23,
added-at = {2024-07-30T00:00:00.000+0200},
author = {Liu, Minghao and Han, Rui and Jia, Fuqi and Huang, Pei and Ma, Feifei and Zhang, Hantao and Zhang, Jian},
biburl = {https://www.bibsonomy.org/bibtex/2e4d0b1da606cd290843c6ee87e122832/dblp},
booktitle = {PRICAI (2)},
crossref = {conf/pricai/2023-2},
editor = {Liu, Fenrong and Sadanandan, Arun Anand and Pham, Duc Nghia and Mursanto, Petrus and Lukose, Dickson},
ee = {https://doi.org/10.1007/978-981-99-7022-3_38},
interhash = {a3226e815baa7663a4afd373d2024de6},
intrahash = {e4d0b1da606cd290843c6ee87e122832},
isbn = {978-981-99-7022-3},
keywords = {dblp},
pages = {410-422},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-08-05T07:35:38.000+0200},
title = {Investigating the Existence of Holey Latin Squares via Satisfiability Testing.},
url = {http://dblp.uni-trier.de/db/conf/pricai/pricai2023-2.html#LiuHJHMZZ23},
volume = 14326,
year = 2023
}