@inproceedings{VaidyanathanSzeider23,
 author = {Vaidyanathan Peruvemba Ramaswamy and Stefan Szeider},
 booktitle = {Proceedings of CP 2023, the 29th International
Conference on Principles and Practice of Constraint
Programming},
 doi = {10.4230/LIPICS.CP.2023.48},
 editor = {Roland Yap},
 keywords = {reveal, strides},
 pages = {48:1--48:10},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Proven optimally-balanced Latin rectangles with {SAT}},
 url = {https://doi.org/10.4230/LIPIcs.CP.2023.48},
 volume = {280},
 year = {2023}
}