Proven optimally-balanced Latin rectangles with SAT

Abstract

Full Citation:

Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider. Proven optimally-balanced Latin rectangles with SAT. Proceedings of CP 2023, the 29th International Conference on Principles and Practice of Constraint Programming (Roland Yap), volume 280 of LIPIcs, pages 48:1-48:10, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.