Login / Signup

Approximating maximum satisfiable subsystems of linear equations of bounded width.

Zeev NutovDaniel 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