Domain reduction techniques for global NLP and MINLP optimization (Q1699520): Difference between revisions

@@ Property / Wikidata QID @@
+Q114859260
@@ Property / Wikidata QID: Q114859260 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08601
@@ Property / arXiv ID: 1706.08601 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict analysis in mixed integer programming
@@ Property / cites work: Conflict analysis in mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+SCIP: solving constraint integer programs
@@ Property / cites work: SCIP: solving constraint integer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Presolve Reductions in Mixed Integer Programming
@@ Property / cites work: Presolve Reductions in Mixed Integer Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Stronger Inference through Implied Literals from Conflicts and Knapsack Covers
+Normal rank
@@ Property / cites work @@
+Mixed Integer Programming: Analyzing 12 Years of Progress
+Normal rank
@@ Property / cites work @@
+On Finitely Terminating Branch-and-Bound Algorithms for Some Global Optimization Problems
+Normal rank
@@ Property / cites work @@
+Global optimization of nonlinear least-squares problems by branch-and-bound and optimality constraints
+Normal rank
@@ Property / cites work @@
+The AMPL Modeling Language: An Aid to Formulating and Solving Optimization Problems
+Normal rank
@@ Property / cites work @@
+Presolving in linear programming
@@ Property / cites work: Presolving in linear programming / rank @@
+Normal rank
@@ Property / cites work @@
+Coefficient strengthening: a tool for reformulating mixed-integer programs
+Normal rank
@@ Property / cites work @@
+The essence of constraint propagation
@@ Property / cites work: The essence of constraint propagation / rank @@
+Normal rank
@@ Property / cites work @@
+Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
+Normal rank
@@ Property / cites work @@
+Conflict graphs in solving integer programming problems
+Normal rank
@@ Property / cites work @@
+Q4274060
@@ Property / cites work: Q4274060 / rank @@
+Normal rank
@@ Property / cites work @@
+Global optimization of nonconvex problems with multilinear intermediates
+Normal rank
@@ Property / cites work @@
+Multiterm polyhedral relaxations for nonconvex, quadratically constrained quadratic programs
+Normal rank
@@ Property / cites work @@
+Bound reduction using pairs of linear inequalities
+Normal rank
@@ Property / cites work @@
+Feasibility-Based Bounds Tightening via Fixed Points
+Normal rank
@@ Property / cites work @@
+Branching and bounds tighteningtechniques for non-convex MINLP
+Normal rank
@@ Property / cites work @@
+Preprocessing and Probing Techniques for Mixed Integer Programming Problems
+Normal rank
@@ Property / cites work @@
+Applying interval arithmetic to real, integer, and boolean constraints
+Normal rank
@@ Property / cites work @@
+Solving Mixed Integer Programming Problems Using Automatic Reformulation
+Normal rank
@@ Property / cites work @@
+Domain filtering consistencies for non-binary constraints
+Normal rank
@@ Property / cites work @@
+Progress in computational mixed integer programming -- a look back from the other side of the tipping point
+Normal rank
@@ Property / cites work @@
+An Analysis of Slow Convergence in Interval Propagation
+Normal rank
@@ Property / cites work @@
+The Complexity of Integer Bound Propagation
@@ Property / cites work: The Complexity of Integer Bound Propagation / rank @@
+Normal rank
@@ Property / cites work @@
+Safe and tight linear estimators for global optimization
+Normal rank
@@ Property / cites work @@
+Analysis of mathematical programming problems prior to applying the simplex algorithm
+Normal rank
@@ Property / cites work @@
+Molecular Modeling of Proteins and Mathematical Prediction of Protein Structure
+Normal rank
@@ Property / cites work @@
+Relaxing the optimality conditions of box QP
@@ Property / cites work: Relaxing the optimality conditions of box QP / rank @@
+Normal rank
@@ Property / cites work @@
+A finite branch-and-bound algorithm for nonconvex quadratic programming via semidefinite relaxations
+Normal rank
@@ Property / cites work @@
+Globally solving box-constrained nonconvex quadratic programs with semidefinite-based finite branch-and-bound
+Normal rank
@@ Property / cites work @@
+MINLPLib—A Collection of Test Models for Mixed-Integer Nonlinear Programming
+Normal rank
@@ Property / cites work @@
+Global optimization problems and domain reduction strategies
+Normal rank
@@ Property / cites work @@
+Theoretical and computational results about optimality-based domain reductions
+Normal rank
@@ Property / cites work @@
+Optimality-based bound contraction with multiparametric disaggregation for the global optimization of mixed-integer bilinear problems
+Normal rank
@@ Property / cites work @@
+Globally solving nonconvex quadratic programming problems via completely positive programming
+Normal rank
@@ Property / cites work @@
+Feasibility and infeasibility in optimization. Algorithms and computational methods.
+Normal rank
@@ Property / cites work @@
+A server for automated performance analysis of benchmarking data
+Normal rank
@@ Property / cites work @@
+Q4949361
@@ Property / cites work: Q4949361 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the range of values of real functions with accuracy higher than second order
+Normal rank
@@ Property / cites work @@
+Solving Large-Scale Zero-One Linear Programming Problems
+Normal rank
@@ Property / cites work @@
+Mathematical programming techniques in water network optimization
+Normal rank
@@ Property / cites work @@
+Constraint propagation with interval labels
@@ Property / cites work: Constraint propagation with interval labels / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint aggregation for rigorous global optimization
+Normal rank
@@ Property / cites work @@
+The cluster problem in multivariate global optimization
+Normal rank
@@ Property / cites work @@
+Explicit convex and concave envelopes through polyhedral subdivisions
+Normal rank
@@ Property / cites work @@
+An Algorithm for Separable Nonconvex Programming Problems
+Normal rank
@@ Property / cites work @@
+Arc-consistency for continuous variables
@@ Property / cites work: Arc-consistency for continuous variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760101
@@ Property / cites work: Q2760101 / rank @@
+Normal rank
@@ Property / cites work @@
+Pruning Moves
@@ Property / cites work: Pruning Moves / rank @@
+Normal rank
@@ Property / cites work @@
+A new dominance procedure for combinatorial optimization problems
+Normal rank
@@ Property / cites work @@
+Different transformations for solving non-convex trim-loss problems by MINLP
+Normal rank
@@ Property / cites work @@
+Q4311909
@@ Property / cites work: Q4311909 / rank @@
+Normal rank
@@ Property / cites work @@
+The cluster problem revisited
@@ Property / cites work: The cluster problem revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Progress in presolving for mixed integer programming
+Normal rank
@@ Property / cites work @@
+Three enhancements for optimization-based bound tightening
+Normal rank
@@ Property / cites work @@
+Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming
+Normal rank
@@ Property / cites work @@
+Presolve Analysis of Linear Programs Prior to Applying an Interior Point Method
+Normal rank
@@ Property / cites work @@
+Preprocessing for quadratic programming
@@ Property / cites work: Preprocessing for quadratic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reduction Methods in Zero-One Programming—Minimal Preferred Variables
+Normal rank
@@ Property / cites work @@
+Q4851734
@@ Property / cites work: Q4851734 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculation of bounds on variables satisfying nonlinear inequality constraints
+Normal rank
@@ Property / cites work @@
+Q4004279
@@ Property / cites work: Q4004279 / rank @@
+Normal rank
@@ Property / cites work @@
+An analytical approach to global optimization
@@ Property / cites work: An analytical approach to global optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4697332
@@ Property / cites work: Q4697332 / rank @@
+Normal rank
@@ Property / cites work @@
+Using dual presolving reductions to reformulate cumulative constraints
+Normal rank
@@ Property / cites work @@
+Improving LP-Representations of Zero-One Linear Programs for Branch-and-Cut
+Normal rank
@@ Property / cites work @@
+Integrated methods for optimization.
@@ Property / cites work: Integrated methods for optimization. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4889854
@@ Property / cites work: Q4889854 / rank @@
+Normal rank
@@ Property / cites work @@
+An LPCC approach to nonconvex quadratic programs
@@ Property / cites work: An LPCC approach to nonconvex quadratic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Dominance Relations in Branch-and-Bound Algorithms
+Normal rank
@@ Property / cites work @@
+Redundancy elimination with a lexicographic solved form
+Normal rank
@@ Property / cites work @@
+Decompostition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems
+Normal rank
@@ Property / cites work @@
+Rigorous global search: continuous problems
@@ Property / cites work: Rigorous global search: continuous problems / rank @@
+Normal rank
@@ Property / cites work @@
+GlobSol user guide
@@ Property / cites work: GlobSol user guide / rank @@
+Normal rank
@@ Property / cites work @@
+BDD-Guided Clause Generation
@@ Property / cites work: BDD-Guided Clause Generation / rank @@
+Normal rank
@@ Property / cites work @@
+Relaxations of factorable functions with convex-transformable intermediates
+Normal rank
@@ Property / cites work @@
+Convex envelopes of products of convex and component-wise concave functions
+Normal rank
@@ Property / cites work @@
+Convex envelopes generated from finitely many compact convex sets
+Normal rank
@@ Property / cites work @@
+Characterization and Theoretical Comparison of Branch-and-Bound Algorithms for Permutation Problems
+Normal rank
@@ Property / cites work @@
+Q5806966
@@ Property / cites work: Q5806966 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved branch and bound algorithm for minimum concave cost network flow problems
+Normal rank
@@ Property / cites work @@
+An Automatic Method of Solving Discrete Programming Problems
+Normal rank
@@ Property / cites work @@
+ICOS: a branch and bound based solver for rigorous global optimization
+Normal rank
@@ Property / cites work @@
+A rigorous global filtering algorithm for quadratic constraints
+Normal rank
@@ Property / cites work @@
+Efficient and Safe Global Constraints for Handling Numerical Constraint Systems
+Normal rank
@@ Property / cites work @@
+Q5457274
@@ Property / cites work: Q5457274 / rank @@
+Normal rank
@@ Property / cites work @@
+The global solver in the LINDO API
@@ Property / cites work: The global solver in the LINDO API / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint propagation, relational arithmetic in AI systems and mathematical programs
+Normal rank
@@ Property / cites work @@
+Preprocessing Nonlinear Functional Constraints with Applications to the Pooling Problem
+Normal rank
@@ Property / cites work @@
+Simple bounds for solutions of monotone complementarity problems and convex programs
+Normal rank
@@ Property / cites work @@
+Pruning by isomorphism in branch-and-cut
@@ Property / cites work: Pruning by isomorphism in branch-and-cut / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting orbits in symmetric ILP
@@ Property / cites work: Exploiting orbits in symmetric ILP / rank @@
+Normal rank
@@ Property / cites work @@
+Bound constrained interval global optimization in the COCONUT environment
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q4735935
@@ Property / cites work: Q4735935 / rank @@
+Normal rank
@@ Property / cites work @@
+Mixed integer models for the stationary case of gas network optimization
+Normal rank
@@ Property / cites work @@
+A new approach to computing optimal schedules for the job-shop scheduling problem
+Normal rank
@@ Property / cites work @@
+Epsilon-inflation in verification algorithms
@@ Property / cites work: Epsilon-inflation in verification algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
+Normal rank
@@ Property / cites work @@
+Deterministic global optimization using interval constraint propagation techniques
+Normal rank
@@ Property / cites work @@
+Advanced preprocessing techniques for linear and quadratic programming
+Normal rank
@@ Property / cites work @@
+Convex envelopes for edge-concave functions
@@ Property / cites work: Convex envelopes for edge-concave functions / rank @@
+Normal rank
@@ Property / cites work @@
+ANTIGONE: algorithms for coNTinuous/Integer global optimization of nonlinear equations
+Normal rank
@@ Property / cites work @@
+Introduction to Interval Analysis
@@ Property / cites work: Introduction to Interval Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Branch-and-bound algorithms: a survey of recent advances in searching, branching, and pruning
+Normal rank
@@ Property / cites work @@
+A convex envelope formula for multilinear functions
+Normal rank
@@ Property / cites work @@
+A Probing Algorithm for MINLP with Failure Prediction by SVM
+Normal rank
@@ Property / cites work @@
+MINTO, a Mixed INTeger Optimizer
@@ Property / cites work: MINTO, a Mixed INTeger Optimizer / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Complete search in continuous global optimization and constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Safe bounds in linear and mixed-integer linear programming
+Normal rank
@@ Property / cites work @@
+Orbital branching
@@ Property / cites work: Orbital branching / rank @@
+Normal rank
@@ Property / cites work @@
+Seizure warning algorithm based on optimization and nonlinear dynamics
+Normal rank
@@ Property / cites work @@
+Q4473037
@@ Property / cites work: Q4473037 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds tightening based on optimality conditions for nonconvex box-constrained optimization
+Normal rank
@@ Property / cites work @@
+Deletion Presolve for Accelerating Infeasibility Diagnosis in Optimization Models
+Normal rank
@@ Property / cites work @@
+A polyhedral study of nonconvex quadratic programs with box constraints
+Normal rank
@@ Property / cites work @@
+A finite algorithm for global minimization of separable concave programs
+Normal rank
@@ Property / cites work @@
+A branch-and-reduce approach to global optimization
+Normal rank
@@ Property / cites work @@
+Global Optimization and Constraint Satisfaction
@@ Property / cites work: Global Optimization and Constraint Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Accelerating branch-and-bound through a modeling language construct for relaxation-specific constraints
+Normal rank
@@ Property / cites work @@
+Exclusion regions for optimization problems
@@ Property / cites work: Exclusion regions for optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Exclusion Regions for Systems of Equations
@@ Property / cites work: Exclusion Regions for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Interval analysis on directed acyclic graphs for global optimization
+Normal rank
@@ Property / cites work @@
+Transposition Theorems and Qualification‐Free Optimality Conditions
+Normal rank
@@ Property / cites work @@
+The theoretical and empirical rate of convergence for geometric branch-and-bound methods
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+A BB\&R algorithm for minimizing total tardiness on a single machine with sequence dependent setup times
+Normal rank
@@ Property / cites work @@
+A Hierarchy of Relaxations between the Continuous and Convex Hull Representations for Zero-One Programming Problems
+Normal rank
@@ Property / cites work @@
+A hierarchy of relaxations and convex hull characterizations for mixed- integer zero-one programming problems
+Normal rank
@@ Property / cites work @@
+A reformulation-linearization technique for solving discrete and continuous nonconvex problems
+Normal rank
@@ Property / cites work @@
+Q4352216
@@ Property / cites work: Q4352216 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank
@@ Property / cites work @@
+Heuristics for dynamically adapting propagation in constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Convex extensions and envelopes of lower semi-continuous functions
+Normal rank
@@ Property / cites work @@
+Global optimization of mixed-integer nonlinear programs: a theoretical and computational study
+Normal rank
@@ Property / cites work @@
+A polyhedral branch-and-cut approach to global optimization
+Normal rank
@@ Property / cites work @@
+Domain Contraction in Nonlinear Programming: Minimizing a Quadratic Concave Objective Over a Polyhedron
+Normal rank
@@ Property / cites work @@
+Linear relaxations and reduced-Cost based propagation of continuous variable subscripts
+Normal rank
@@ Property / cites work @@
+Formal optimization of some reduced linear programming problems
+Normal rank
@@ Property / cites work @@
+Finding duplicate rows in a linear programming model
+Normal rank
@@ Property / cites work @@
+A branch-and-cut algorithm for nonconvex quadratic programs with box constraints
+Normal rank
@@ Property / cites work @@
+Enhancing numerical constraint propagation using multiple inclusion representations
+Normal rank
@@ Property / cites work @@
+Interval propagation and search on directed acyclic graphs for numerical constraint solving
+Normal rank
@@ Property / cites work @@
+A branch and contract algorithm for problems with concave univariate, bilinear and linear fractional terms
+Normal rank
@@ Property / cites work @@
+Global optimization of general non-convex problems with intermediate bilinear substructures
+Normal rank