Mixed logical-linear programming
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3967882 (Why is no real title available?)
- scientific article; zbMATH DE number 3978351 (Why is no real title available?)
- scientific article; zbMATH DE number 3466489 (Why is no real title available?)
- scientific article; zbMATH DE number 3545380 (Why is no real title available?)
- scientific article; zbMATH DE number 408798 (Why is no real title available?)
- scientific article; zbMATH DE number 683337 (Why is no real title available?)
- scientific article; zbMATH DE number 976922 (Why is no real title available?)
- scientific article; zbMATH DE number 3249560 (Why is no real title available?)
- A Comparison of Constraint and Mixed-Integer Programming Solvers for Batch Sequencing with Sequence-Dependent Setups
- A Machine-Oriented Logic Based on the Resolution Principle
- A Way to Simplify Truth Functions
- A note on duality in disjunctive programming
- An algorithm for disjunctive programs
- An algorithm for solving large capacitated warehouse location problems
- An alternative explanation of disjunctive formulations
- An optimal k-consistency algorithm
- Compact normal forms in propositional logic and integer programming formulations
- Detecting embedded Horn structure in propositional logic
- Disjunctive Programming
- Extended Horn sets in propositional logic
- Fourier-Motzkin elimination extension to integer programming problems
- Generalized resolution for 0--1 linear inequalities
- Generating cuts in integer programming with families of special ordered sets
- Input Proofs and Rank One Cutting Planes
- Logic applied to integer programming and integer programming applied to logic
- Logic cuts for processing networks with fixed charges
- Logic-based 0-1 constraint programming
- Logic-based Benders decomposition
- Logic-based decision support. Mixed integer model formulation
- Mixed 0-1 Programming by Lift-and-Project in a Branch-and-Cut Framework
- Modelling with integer variables
- On finding solutions for extended Horn formulas
- On renamable Horn and generalized Horn functions
- Optimal Design of Truss Structures by Logic-Based Branch and Cut
- Representability in mixed integer programming. I: Characterization results
- Resolution vs. cutting plane solution of inference problems: Some computational experience
- Solving a General Routing and Scheduling Problem by Chain Decomposition and Tabu Search
- Some results and experiments in programming techniques for propositional logic
- Surrogate Constraint Duality in Mathematical Programming
- Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks
- Testing heuristics: We have it all wrong
- The Problem of Simplifying Truth Functions
- The arborescence-realization problem
- The intractability of resolution
- Two Rules for Deducing Valid Inequalities for 0-1 Problems
Cited in
(31)- A conflict-directed approach to chance-constrained mixed logical linear programming
- Many-valued logic and mixed integer programming
- Hybrid model predictive control of a solar air conditioning plant
- Solving linear programs with complementarity constraints using branch-and-cut
- Global optimization of disjunctive programs
- scientific article; zbMATH DE number 4102512 (Why is no real title available?)
- Constraint programming and operations research
- Ahybrid model (MILP-CLP) to pipeline operational scheduling
- A generalized Benders decomposition approach for the optimal design of a local multi-energy system
- On solving the progressive party problem as a MIP.
- Semiring programming: a semantic framework for generalized sum product problems
- Globally optimal clusterwise regression by column generation enhanced with heuristics, sequencing and ending subset optimization
- An interleaved depth-first search method for the linear optimization problem with disjunctive constraints
- Second-order cover inequalities
- A branch and efficiency algorithm for the optimal design of supply chain networks
- Solving disjunctive optimization problems by generalized semi-infinite optimization techniques
- Modelling either-or relations in integer programming
- Mixed integer linear programming formulation techniques
- Constraint Integer Programming: A New Approach to Integrate CP and MIP
- A polyhedral approach to the \textit{alldifferent} system
- Extensions to the repetitive branch and bound algorithm for globally optimal clusterwise regression
- Searching for mutually orthogonal Latin squares via integer and constraint programming
- Submodularity and its application to some global constraints
- Logic cuts for multilevel generalized assignment problems.
- Best subset selection via cross-validation criterion
- Zero duality gap in surrogate constraint optimization: a concise review of models
- Global and preference-based optimization with mixed variables using piecewise affine surrogates
- Scheduling projects with multi-skilled personnel by a hybrid MILP/CP Benders decomposition algorithm
- Mixed global constraints and inference in hybrid CLP--IP solvers
- A conditional logic approach for strengthening mixed 0-1 linear programs
- Logic-based modeling and solution of nonlinear discrete/continuous optimization problems
This page was built for publication: Mixed logical-linear programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1961464)
