Login / Signup
Aproximating the Value of Two Prover Proof Systems, With Applications to MAX 2SAT and MAX DICUT.
Uriel Feige
Michel 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