scientific article; zbMATH DE number 1550909
From MaRDI portal
Publication:4523706
Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming (90-02) Combinatorial optimization (90C27) Approximation methods and heuristics in mathematical programming (90C59)
Recommendations
Cited in
(99)- A Benders approach for computing lower bounds for the mirrored traveling tournament problem
- Logic cuts for multilevel generalized assignment problems.
- Constraint programming and operations research
- A Benders decomposition-based framework for solving quay crane scheduling problems
- An exact optimization approach for an integrated process configuration, lot-sizing, and scheduling problem
- Logic based Benders' decomposition for orthogonal stock cutting problems
- A microkernel architecture for constraint programming
- Recursive logic-based Benders' decomposition for multi-mode outpatient scheduling
- Multi-objective branch and bound
- Optimizing the supply chain configuration for make-to-order manufacturing
- Global optimization of nonlinear least-squares problems by branch-and-bound and optimality constraints
- Weight-based heuristics for constraint satisfaction and combinatorial optimization problems
- A combinatorial Benders decomposition algorithm for parallel machine scheduling with working-time restrictions
- An exact algorithm for the unidirectional quay crane scheduling problem with vessel stability
- Transmission network investment using incentive regulation: a disjunctive programming approach
- Logic-based Benders decomposition method for the \textit{seru} scheduling problem with sequence-dependent setup time and DeJong's learning effect
- Order assignment and scheduling under processing and distribution time uncertainty
- Strengthening of feasibility cuts in logic-based benders decomposition
- Classes of linear programs solvable by coordinate-wise minimization
- Branch-relax-and-check: a tractable decomposition method for order acceptance and identical parallel machine scheduling
- Information-based branching schemes for binary linear mixed integer problems
- Scheduling projects with multi-skilled personnel by a hybrid MILP/CP Benders decomposition algorithm
- A robust disaster preparedness model for effective and fair disaster response
- GoNDEF: an exact method to generate all non-dominated points of multi-objective mixed-integer linear programs
- Graph coloring inequalities from all-different systems
- Petroleum supply planning: reformulations and a novel decomposition algorithm
- Submodularity and its application to some global constraints
- On convex quadratic programs with linear complementarity constraints
- Proving Arrow's theorem by \texttt{PROLOG}
- On solving nonsmooth mixed-integer nonlinear programming problems by outer approximation and generalized benders decomposition
- A polyhedral approach to the \textit{alldifferent} system
- Integrated production and material handling scheduling using mathematical programming and constraint programming
- Single-facility scheduling by logic-based Benders decomposition
- A decomposition approach for solving a broadcast domination network design problem
- Processes and continuous change in a SAT-based planner
- On a decision procedure for quantified linear programs
- Round robin scheduling -- a survey
- Searching for mutually orthogonal Latin squares via integer and constraint programming
- A class of stochastic programs with decision dependent uncertainty
- What we can learn from conflicts in propositional satisfiability
- Logic-based Benders decomposition with a partial assignment acceleration technique for avionics scheduling
- Achieving consistency with cutting planes
- Optimisation techniques for combing constraint solvers
- Semidefinite programming and constraint programming
- Mixed integer linear programming formulation techniques
- Finding all stable pairs and solutions to the many-to-many stable matching problem
- Using logic-based Benders decomposition to solve the capacity- and distance-constrained plant location problem
- Logic, optimization, and constraint programming
- Combinatorial Benders' cuts for the strip packing problem
- Generalized Benders decomposition for one class of MINLPs with vector conic constraint
- Global optimization with spline constraints: a new branch-and-bound method based on B-splines
- 基于混合搜索的含逻辑“与”“或”的RM优化算法
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
- Logic-based Benders decomposition for large-scale optimization
- On the hop-constrained survivable network design problem with reliable edges
- Horn representation of a concept lattice
- Challenges in Enterprise Wide Optimization for the Process Industries
- Event-Time Models for Supply Chain Scheduling
- Logic-based MultiObjective Optimization for Restoration Planning
- scientific article; zbMATH DE number 4102512 (Why is no real title available?)
- A hierarchy of relaxations for linear generalized disjunctive programming
- scientific article; zbMATH DE number 1324220 (Why is no real title available?)
- Learning from conflicts in propositional satisfiability
- An LPCC approach to nonconvex quadratic programs
- scientific article; zbMATH DE number 1059312 (Why is no real title available?)
- The stop-and-drop problem in nonprofit food distribution networks
- Ahybrid model (MILP-CLP) to pipeline operational scheduling
- Reverse propagation of McCormick relaxations
- Stochastic planning and scheduling with logic-based Benders decomposition
- Prominent classes of the most general subsumptive solutions of Boolean equations
- An algorithm for approximating the Pareto set of the multiobjective set covering problem
- Toward unification of exact and heuristic optimization methods
- scientific article; zbMATH DE number 5584354 (Why is no real title available?)
- An improved formulation for the multi-depot open vehicle routing problem
- Logic-based Benders decomposition for wildfire suppression
- The bus sightseeing problem
- Combining optimisation and simulation using logic-based Benders decomposition
- Efficient MIP techniques for computing the relaxation complexity
- Benders' decomposition based exact solution method for multi-manned assembly line balancing problem with walking workers
- Point-to-point and milk run delivery scheduling: models, complexity results, and algorithms based on Benders decomposition
- Logic-based Benders decomposition for the preemptive flexible job-shop scheduling problem
- Combined planning and scheduling in a divergent production system with co-production: a case study in the lumber industry
- A combined CLP-MILP approach for scheduling commodities in a pipeline
- Optimal decomposition approach for solving large nesting and scheduling problems of additive manufacturing systems
- Integrated methods for optimization
- Calibrated imputation for multivariate categorical data
- Logic-based benders decomposition methods for the distributed flexible job shop scheduling problem
- Minimizing the maximum flow loss in the network maintenance scheduling problem with flexible arc outages
- Optimizing aircraft weight and balance for two-leg flight operations
- Reconsidering compact measures: a multiobjective framework for ecological reserve design
- Logic-based benders decomposition methods for the distributed permutation flow shop scheduling problem with production and transportation cost
- A logic-based Benders decomposition approach for a fuel delivery problem with time windows, unsplit compartments, and split deliveries
- Last fifty years of integer linear programming: a focus on recent practical advances
- Logic-based modeling and solution of nonlinear discrete/continuous optimization problems
- On the separability of subproblems in Benders decompositions
- A hybrid method for the planning and scheduling
- An integrated method for planning and scheduling to minimize tardiness
- Integrated methods for optimization.
- Scheduling and routing of automated guided vehicles: A hybrid approach
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4523706)
