Redundant Sudoku rules

DOI10.1017/S1471068412000361zbMath1312.68035arXiv1207.5926OpenAlexW2157356073WikidataQ126000653 ScholiaQ126000653MaRDI QIDQ5418948

Bart Demoen, Maria Garcia de la Banda

Publication date: 30 May 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.5926

zbMATH Keywords

inequalitiesSudokumaximal redundancy

Mathematics Subject Classification ID

Orthogonal arrays, Latin squares, Room squares (05B15) Logic programming (68N17)

Related Items (2)

Graphs with coloring redundant edges ⋮ Redundant disequalities in the Latin square problem

Cites Work

• D-FLAT: Declarative problem solving using tree decompositions and answer-set programming

This page was built for publication: Redundant Sudoku rules