Investigating the existence of Costas Latin squares via satisfiability testing

DOI10.1007/978-3-030-80223-3_19MaRDI QIDQ2118308zbMATH OpenOpenAlexFDO

Authors Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang

Publication date 22 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-80223-3_19

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites work

• Combinatorial designs with Costas arrays properties
• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• Finding orthogonal latin squares using finite model searching tools
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• Investigating the existence of large sets of idempotent quasigroups via satisfiability testing
• Investigating the existence of orthogonal golf designs via satisfiability testing
• MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
• Packing Costas arrays
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

Cited in

(3)

• scientific article; zbMATH DE number 5064933 (Why is no real title available?)
• Myrvold's results on orthogonal triples of 10 10 Latin squares: a SAT investigation
• Enumerating extended self-orthogonal diagonal Latin squares of order up to 10

Describes a project that uses

Uses Software

• MathCheck

This page was built for publication: Investigating the existence of Costas Latin squares via satisfiability testing

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