scientific article
From MaRDI portal
Publication:3429015
zbMath1194.90064MaRDI QIDQ3429015
Publication date: 30 March 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Semidefinite resolution and exactness of semidefinite relaxations for satisfiability ⋮ Sums of squares based approximation algorithms for MAX-SAT ⋮ Exact Semidefinite Programming Relaxations with Truncated Moment Matrix for Binary Polynomial Optimization Problems ⋮ Semidefinite relaxations for partitioning, assignment and ordering problems ⋮ Semidefinite relaxations for partitioning, assignment and ordering problems ⋮ Iterative and core-guided maxsat solving: a survey and assessment
Uses Software
This page was built for publication: