Although I'm no mathematician, I have a feeling that this kind of problem will only yield to a brute-force approach, i.e. working out all combinations of rows and calculating the value of the matrix and then checking the column-constraint.

CountZero

"If you have four groups working on a compiler, you'll get a 4-pass compiler." - Conway's Law