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

DOI10.1007/978-3-319-94205-6_24MaRDI QIDQ1799096zbMATH OpenOpenAlexFDO

Authors Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao 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

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

Recommendations

• Investigating the existence of orthogonal golf designs via satisfiability testing
• Computer Search for Large Sets of Idempotent Quasigroups
• Theory and Applications of Satisfiability Testing
• The construction of large sets of idempotent quasigroups
• scientific article; zbMATH DE number 1463407

Cited in

(8)

• The construction of large sets of idempotent quasigroups
• Investigating the existence of Costas Latin squares via satisfiability testing
• Computer Search for Large Sets of Idempotent Quasigroups
• Overlarge sets of resolvable idempotent quasigroups
• scientific article; zbMATH DE number 1463407 (Why is no real title available?)
• Large sets of idempotent quasigroups with resolvability
• Investigating the existence of orthogonal golf designs via satisfiability testing
• On a pair of orthogonal golf designs

Describes a project that uses

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1799096)