Gaussian Elimination Meets Maximum Satisfiability.

Mate Soos, Kuldeep S. Meel

Browse the full KR paper archive.