scientific article; zbMATH DE number 1336257
algorithmscombinatorial optimizationcomplexitylinear programmingnonconvex optimizationnonlinear optimizationNP-classespolynomial time algorithmssatisfiability problemsemidefinite programmingunsatisfiabilityweighted elliptic approximations
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Analysis of algorithms and problem complexity (68Q25) Linear programming (90C05) Nonconvex programming, global optimization (90C26) Nonlinear programming (90C30) Applications of mathematical programming (90C90)
- Relaxations of the satisfiability problem using semidefinite programming
- Relaxations of the satisfiability problem using semidefinite programming
- scientific article; zbMATH DE number 2159161
- An improved semidefinite programming relaxation for the satisfiability problem
- Semidefinite optimization approaches for satisfiability and maximum-satisfiability problems
- Nonserial dynamic programming formulations of satisfiability
- Solving satisfiability problems using elliptic approximations -- effective branching rules
- Solving satisfiability problems using elliptic approximations. A note on volumes and weights
- Elliptic approximations of propositional formulae
- Lagrangian smoothing heuristics for Max-cut
- Semidefinite programming and constraint programming
- Resolution Width and Cutting Plane Rank Are Incomparable
- scientific article; zbMATH DE number 1114011 (Why is no real title available?)
- On deciding the non‐emptiness of 2SAT polytopes with respect to First Order Queries
- Solving non-linear constraint satisfaction problems involving time-dependent functions
- Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4258616)
