scientific article; zbMATH DE number 1795723
From MaRDI portal
Publication:4550772
zbMath1029.90053MaRDI QIDQ4550772
Joost P. Warners, Etienne de Klerk
Publication date: 18 June 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Solving the weighted MAX-SAT problem using the dynamic convexized method ⋮ An efficient solver for weighted Max-SAT ⋮ Sums of squares based approximation algorithms for MAX-SAT ⋮ Exact MAX-2SAT solution via lift-and-project closure ⋮ Efficient branch-and-bound algorithms for weighted MAX-2-SAT ⋮ Semidefinite Programming and Constraint Programming ⋮ A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem
Uses Software