Integer Programming
On solving the MAX-SAT using sum of squares
We consider semidefinite programming (SDP) approaches for solving the maximum satisfiabilityproblem (MAX-SAT) and the weighted partial MAX-SAT. It is widely known that SDP is well-suitedto approximate the (MAX-)2-SAT. Our work shows the potential of SDP also for other satisfiabilityproblems, by being competitive with some of the best solvers in the yearly MAX-SAT competition.Our solver combines … Read more
A classification method based on a cloud of spheres
In this article we propose a binary classification model to distinguish a specific class that corresponds to a characteristic that we intend to identify (fraud, spam, disease). The classification model is based on a cloud of spheres that circumscribes the points of the class to be identified. It is intended to build a model based … Read more
Enhancements of Discretization Approaches for Non-Convex Mixed-Integer Quadratically Constraint Quadratic Programming: Part II
Abstract. This is Part II of a study on mixed-integer programming (MIP) relaxation techniques for the solution of non-convex mixed-integer quadratically constrained quadratic programs (MIQCQPs). We set the focus on MIP relaxation methods for non-convex continuous variable products and extend the well-known MIP relaxation normalized multiparametric disaggregation technique (NMDT), applying a sophisticated discretization to both … Read more
Toward Efficient Transportation Electrification of Heavy-Duty Trucks: Joint Scheduling of Truck Routing and Charging
The timely transportation of goods to customers is an essential component of economic activities. However, heavy-duty diesel trucks that deliver goods contribute significantly to greenhouse gas emissions within many large metropolitan areas, including Los Angeles, New York, and San Francisco. To facilitate freight electrification, this paper proposes joint routing and charging (JRC) scheduling for electric … Read more
Semi-Infinite Mixed Binary and Disjunctive Programs: Applications to Set-Covering with Infinite Demand Points and Implicit Hitting Set Problems
Sherali and Adams [Discrete Applied Math. 157: 1319-1333, 2009] derived convex hull of semi-infinite mixed binary linear programs (SIMBLPs) using Reformulation-Linearization Technique (RLT). In this paper, we study semi-infinite disjunctive programs (SIDPs — a generalization of SIMBLPs) and present linear programming equivalent and valid inequalities for them. We utilize these results for deriving a hierarchy … Read more
Semi-Infinite Generalized Disjunctive and Mixed Integer Convex Programs with(out) Uncertainty
In this paper, we introduce semi-infinite generalized disjunctive programs that are defined by logical propositions along with disjunctions of sets of logical equations and infinite number of algebraic inequalities. We denote these programs by SIGDPs. For SIGDPs with linear and convex inequalities, we present new reformulations: semi-infinite mixed-binary/disjunctive linear programs and semi-infinite mixed-binary/disjunctive convex programs, … Read more
Recovering Dantzig-Wolfe Bounds by Cutting Planes
Dantzig-Wolfe (DW) decomposition is a well-known technique in mixed-integer programming (MIP) for decomposing and convexifying constraints to obtain potentially strong dual bounds. We investigate cutting planes that can be derived using the DW decomposition algorithm and show that these cuts can provide the same dual bounds as DW decomposition. More precisely, we generate one cut … Read more
Prescriptive price optimization using optimal regression trees
This paper focuses on prescriptive price optimization, which derives the optimal pricing strategy that maximizes future revenue or profit by using demand forecasting models for multiple products. Prescriptive price optimization requires accurate demand forecasting models because the accuracy of these models has a direct impact on pricing strategies aimed at increasing revenue or profit. However, … Read more
Generating balanced workload allocations in hospitals
As pressure on healthcare systems continues to increase, it is becoming more and more important for hospitals to properly manage the high workload levels of their staff. Ensuring a balanced workload allocation between various groups of employees in a hospital has been shown to contribute considerably towards creating sustainable working conditions. However, allocating work to … Read more