Template polyhedra and bilinear optimization (Q2322312): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10703-018-0323-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2890361100
@@ Property / OpenAlex ID: W2890361100 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
+Normal rank
@@ Property / cites work @@
+Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
+Normal rank
@@ Property / cites work @@
+Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs
+Normal rank
@@ Property / cites work @@
+Deriving Numerical Abstract Domains via Principal Component Analysis
+Normal rank
@@ Property / cites work @@
+Semidefinite programming versus the reformulation-linearization technique for nonconvex quadratically constrained quadratic programming
+Normal rank
@@ Property / cites work @@
+A branch and cut algorithm for nonconvex quadratically constrained quadratic programming
+Normal rank
@@ Property / cites work @@
+Q4411960
@@ Property / cites work: Q4411960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4830373
@@ Property / cites work: Q4830373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414726
@@ Property / cites work: Q4414726 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-Guided Refinement of Template Polyhedra
+Normal rank
@@ Property / cites work @@
+An algorithmic framework for convex mixed integer nonlinear programs
+Normal rank
@@ Property / cites work @@
+A Limited Memory Algorithm for Bound Constrained Optimization
+Normal rank
@@ Property / cites work @@
+Q3323698
@@ Property / cites work: Q3323698 / rank @@
+Normal rank
@@ Property / cites work @@
+The octahedron abstract domain
@@ Property / cites work: The octahedron abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Static Analysis by Policy Iteration on Relational Domains
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Graph Implementations for Nonsmooth Convex Programs
+Normal rank
@@ Property / cites work @@
+Reachability analysis of linear systems using support functions
+Normal rank
@@ Property / cites work @@
+Second order cone programming relaxation of nonconvex quadratic optimization problems
+Normal rank
@@ Property / cites work @@
+PENNON: A code for convex nonlinear and semidefinite programming
+Normal rank
@@ Property / cites work @@
+A simplicial branch-and-bound algorithm for solving quadratically constrained quadratic programs
+Normal rank
@@ Property / cites work @@
+Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
+Normal rank
@@ Property / cites work @@
+Q4529777
@@ Property / cites work: Q4529777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5491447
@@ Property / cites work: Q5491447 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Programming Relaxations of Quadratically Constrained Quadratic Programs
+Normal rank
@@ Property / cites work @@
+Variational Analysis
@@ Property / cites work: Variational Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Validating numerical semidefinite programming solvers for polynomial invariants
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis
+Normal rank
@@ Property / cites work @@
+Reduced RLT representations for nonconvex polynomial programming problems
+Normal rank
@@ Property / cites work @@
+Enhancing RLT relaxations via a new class of semidefinite cuts
+Normal rank
@@ Property / cites work @@
+Using SeDuMi 1.02, A Matlab toolbox for optimization over symmetric cones
+Normal rank
@@ Property / cites work @@
+A polyhedral branch-and-cut approach to global optimization
+Normal rank
@@ Property / cites work @@
+On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Convex relaxations for nonconvex quadratically constrained quadratic programming: matrix cone decomposition and polyhedral approximation
+Normal rank