Results 11 to 20 of about 45,785 (91)
Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables [PDF]
IEEE Control Systems Letters, 2022 Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is based on Mixed-Integer Convex Programming (MICP).
Vince Kurtz, Hai Lin
semanticscholar +1 more source
A Survey for Solving Mixed Integer Programming via Machine Learning [PDF]
Neurocomputing, 2022 This paper surveys the trend of leveraging machine learning to solve mixed integer programming (MIP) problems. Theoretically, MIP is an NP-hard problem, and most of the combinatorial optimization (CO) problems can be formulated as the MIP.
Jiayi Zhang +5 more
semanticscholar +1 more source
A computational status update for exact rational mixed integer programming [PDF]
Mathematical programming, 2021 The last milestone achievement for the roundoff-error-free solution of general mixed integer programs over the rational numbers was a hybrid-precision branch-and-bound algorithm published by Cook, Koch, Steffy, and Wolter in 2013.
L. Eifler, Ambros M. Gleixner
semanticscholar +1 more source
, 2021 The planning horizon of small bucket models is often divided into many fictitious micro-periods, with non-zero demand only in the last micro-period of each real (macro-)period.
Waldemar Kaczmarczyk
semanticscholar +1 more source
A mixed-integer programming approach for solving university course timetabling problems
Journal of Scheduling, 2022 This article presents a mixed-integer programming model for solving the university timetabling problem which considers the allocation of students to classes and the assignment of rooms and time periods to each class.
Efstratios Rappos +3 more
semanticscholar +1 more source
MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library
Mathematical Programming Computation, 2021 We report on the selection process leading to the sixth version of the Mixed Integer Programming Library, MIPLIB 2017. Selected from an initial pool of 5721 instances, the new MIPLIB 2017 collection consists of 1065 instances.
Ambros M. Gleixner +15 more
semanticscholar +1 more source
Computational aspects of infeasibility analysis in mixed integer programming
Mathematical Programming Computation, 2021 The analysis of infeasible subproblems plays an important role in solving mixed integer programs (MIPs) and is implemented in most major MIP solvers.
Jakob Witzig +2 more
semanticscholar +1 more source
Identifying Critical Neurons in ANN Architectures using Mixed Integer Programming [PDF]
Integration of AI and OR Techniques in Constraint Programming, 2020 We introduce a mixed integer program (MIP) for assigning importance scores to each neuron in deep neural network architectures which is guided by the impact of their simultaneous pruning on the main learning task of the network. By carefully devising the
M. Elaraby, Guy Wolf, Margarida Carvalho
semanticscholar +1 more source
On Mixed-Integer Programming Formulations for the Unit Commitment Problem
INFORMS journal on computing, 2020 We provide a comprehensive overview of mixed-integer programming formulations for the unit commitment (UC) problem.
semanticscholar +1 more source
Mixed-integer programming techniques for the connected max-k-cut problem
Mathematical Programming Computation, 2020 We consider an extended version of the classical Max-k\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength ...
Christopher Hojny +3 more
semanticscholar +1 more source