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

Rudolf Berghammer. Relation-algebraic modeling and solution of chessboard independence and domination problems. Journal of Logic and Algebraic Programming, 81(6):625-642, 2012. [doi]

Abstract

Abstract is missing.