Investigating the existence of large sets of idempotent quasigroups via satisfiability testing

DOI10.1007/978-3-319-94205-6_24OpenAlexW2809698117MaRDI QIDQ1799096

Pei Huang, Cunjing Ge, Feifei Ma, Jian Zhang, Han-Tao Zhang

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-94205-6_24

Mathematics Subject Classification ID

Loops, quasigroups (20N05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Designs and configurations (05B99) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

On a pair of orthogonal golf designs ⋮ Investigating the existence of Costas Latin squares via satisfiability testing

Uses Software

• SATO
• z3
• MiniZinc
• Mace4
• DRAT-trim

This page was built for publication: Investigating the existence of large sets of idempotent quasigroups via satisfiability testing