Semidefinite resolution and exactness of semidefinite relaxations for satisfiability (Q2446872): Difference between revisions

@@ Property / DOI @@
-.1016/j.dam.2013.06.021
@@ Property / DOI: 10.1016/j.dam.2013.06.021 / rank @@
-Normal rank
@@ Property / cites work @@
+On semidefinite programming relaxations for the satisfiability problem
+Normal rank
@@ Property / cites work @@
+Q4667097
@@ Property / cites work: Q4667097 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved semidefinite programming relaxation for the satisfiability problem
+Normal rank
@@ Property / cites work @@
+Q3429015
@@ Property / cites work: Q3429015 / rank @@
+Normal rank
@@ Property / cites work @@
+An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs
+Normal rank
@@ Property / cites work @@
+Q3515551
@@ Property / cites work: Q3515551 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook on semidefinite, conic and polynomial optimization
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Some results and experiments in programming techniques for propositional logic
+Normal rank
@@ Property / cites work @@
+Q4255462
@@ Property / cites work: Q4255462 / rank @@
+Normal rank
@@ Property / cites work @@
+On semidefinite programming relaxations of \((2+p)\)-SAT
+Normal rank
@@ Property / cites work @@
+Relaxations of the satisfiability problem using semidefinite programming
+Normal rank
@@ Property / cites work @@
+Q4807964
@@ Property / cites work: Q4807964 / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+An Explicit Equivalent Positive Semidefinite Program for Nonlinear 0-1 Programs
+Normal rank
@@ Property / cites work @@
+Q5292090
@@ Property / cites work: Q5292090 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Mathematics of Satisfiability
@@ Property / cites work: Introduction to Mathematics of Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Sums of squares based approximation algorithms for MAX-SAT
+Normal rank
@@ Property / cites work @@
+Handbook of semidefinite programming. Theory, algorithms, and applications
+Normal rank
@@ Property / DOI @@
+.1016/J.DAM.2013.06.021
@@ Property / DOI: 10.1016/J.DAM.2013.06.021 / rank @@
+Normal rank