Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.
Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
Browse the full CADE paper archive.
Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
Browse the full CADE paper archive.