On semidefinite least squares and minimal unsatisfiability (Q516798): Difference between revisions

@@ Property / cites work @@
+On semidefinite programming relaxations for the satisfiability problem
+Normal rank
@@ Property / cites work @@
+An improved semidefinite programming relaxation for the satisfiability problem
+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 @@
+Q3109951
@@ Property / cites work: Q3109951 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook on semidefinite, conic and polynomial optimization
+Normal rank
@@ Property / cites work @@
+Semidefinite resolution and exactness of semidefinite relaxations for satisfiability
+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 @@
+Recognition of \(q\)-Horn formulae in linear time
@@ Property / cites work: Recognition of \(q\)-Horn formulae in linear time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+On exact selection of minimally unsatisfiable subformulae
+Normal rank
@@ Property / cites work @@
+Q4255462
@@ Property / cites work: Q4255462 / rank @@
+Normal rank
@@ Property / cites work @@
+Tautologies and positive solvability of linear homogeneous systems
+Normal rank
@@ Property / cites work @@
+Classroom Note:An Elementary Proof of Farkas' Lemma
+Normal rank
@@ Property / cites work @@
+Aspects of semidefinite programming. Interior point algorithms and selected applications
+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 @@
+How good are interior point methods? Klee-Minty cubes tighten iteration-complexity bounds
+Normal rank
@@ Property / cites work @@
+Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
+Normal rank
@@ Property / cites work @@
+Using local search to find MSSes and MUSes
@@ Property / cites work: Using local search to find MSSes and MUSes / rank @@
+Normal rank
@@ Property / cites work @@
+A Spectral Bundle Method for Semidefinite Programming
+Normal rank
@@ Property / cites work @@
+Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets
+Normal rank
@@ Property / cites work @@
+Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel
+Normal rank
@@ Property / cites work @@
+An Explicit Equivalent Positive Semidefinite Program for Nonlinear 0-1 Programs
+Normal rank
@@ Property / cites work @@
+A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
+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 @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm for reducing the number of variables in MAX SAT problem
+Normal rank
@@ Property / cites work @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / 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