Login / Signup
Approximating maximum satisfiable subsystems of linear equations of bounded width.
Zeev Nutov
Daniel Reichman
Published in:
Inf. Process. Lett. (2008)
Keyphrases
</>
linear equations
phase transition
linear systems
satisfiability problem
maximum number
complex valued
sat problem
lower bound
randomly generated
gauss seidel method
neural network
max sat
rows and columns