Pei Huang 0002, Feifei Ma, Cunjing Ge, Jian Zhang 0001, Hantao Zhang
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
IJCAR, 2018.
@inproceedings{IJCAR-2018-HuangMGZZ,
author = "Pei Huang 0002 and Feifei Ma and Cunjing Ge and Jian Zhang 0001 and Hantao Zhang",
booktitle = "{Proceedings of the Ninth International Joint Conference on Automated Reasoning}",
doi = "10.1007/978-3-319-94205-6_24",
isbn = "['978-3-319-94204-9', '978-3-319-94205-6']",
pages = "354--369",
publisher = "{Springer}",
title = "{Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing}",
year = 2018,
}