## Relation-algebraic modeling and solution of chessboard independence and domination problems

- Rudolf Berghammer
- J. Log. Algebr. Program.
- 2012

A saw-toothed chessboard, or STC for short, is a kind of chessboard whose boundary forms two staircases from left down to right without any hole inside it. A rook at square (i, j) can dominate the squares in row i and in column j . The rook problem of an STC is to determine the minimum number of rooks that can dominate all squares of the STC. In this paper… (More)