Login / Signup

Aproximating the Value of Two Prover Proof Systems, With Applications to MAX 2SAT and MAX DICUT.

Uriel FeigeMichel X. Goemans
Published in: ISTCS (1995)
Keyphrases
  • max sat
  • theorem proving
  • tabu search
  • theorem prover
  • lower bound
  • evolutionary algorithm
  • automated theorem proving
  • neural network
  • computational complexity
  • search strategies
  • sat solvers
  • weighted max sat