Approximating minimum unsatisfiability of linear equations.

Piotr Berman Marek Karpinski

Published in: SODA (2002)

Keyphrases

linear equations
linear systems
complex valued
newton method
real time
max sat
gauss seidel method
genetic algorithm
rows and columns