Finding orthogonal latin squares using finite model searching tools

DOI10.1007/S11432-011-4343-3MaRDI QIDQ5018191zbMATH OpenOpenAlexFDO

Authors Feifei Ma, Jian Zhang

Publication date 15 December 2021

Published in Science China Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11432-011-4343-3

Mathematics Subject Classification ID

Orthogonal arrays, Latin squares, Room squares (05B15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(3)

• Investigating the existence of Costas Latin squares via satisfiability testing
• Iterated local search with Trellis-neighborhood for the partial Latin square extension problem
• Myrvold's results on orthogonal triples of 10 10 Latin squares: a SAT investigation

This page was built for publication: Finding orthogonal latin squares using finite model searching tools

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