Relation-algebraic modeling and solution of chessboard independence and domination problems
We describe a simple computing technique for solving independence and domination problems on rectangular chessboards. It rests upon relational modeling and uses the BDD-based specific purpose computer algebra system RELVIEW for the evaluation of the relation-algebraic expressions that specify the problems solutions and the visualization of the computed results. The technique described in the paper is very flexible and especially appropriate for experimentation. It can easily be applied to other chessboard problems. (C) 2012 Elsevier Inc. All rights reserved.
independence domination relational modeling relation algebra relview tool chessboard relation bishops independence number