Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems.
Miguel F. AnjosPublished in: J. Satisf. Boolean Model. Comput. (2006)
Keyphrases
- satisfiability problem
- optimization approaches
- semidefinite
- np complete
- semidefinite programming
- optimization methods
- phase transition
- convex relaxation
- temporal logic
- search algorithm
- sufficient conditions
- mathematical programming
- stochastic local search
- sat problem
- higher dimensional
- max sat
- interior point methods
- sat instances
- davis putnam
- convex sets
- random sat
- primal dual
- linear programming