Results 61 to 70 of about 16,981 (186)
Handling software upgradeability problems with MILP solvers [PDF]
, 2010 Upgradeability problems are a critical issue in modern operating systems. The problem consists in finding the "best" solution according to some criteria, to install, remove or upgrade packages in a given installation.
Claude Michel, Michel Rueher
core +1 more source
Interdiction Models and Heuristics for Graph Propagation
Networks, EarlyView.ABSTRACT Given a graph G=(V,E)$$ G=\left(V,E\right) $$ and a set S⊂V$$ S\subset V $$ of activated/infected nodes, we consider the problem of determining the set of c$$ c $$ nodes that minimizes the network propagation on the subgraph that results from the removal of those c$$ c $$ nodes. To measure network propagation, we assume that a node i$$ i $$ is
Agostinho Agra, José Maria Samuco
wiley +1 more source
MILP modeling of Boolean functions by minimum number of inequalities [PDF]
, 2021 This work presents techniques for modeling Boolean functions by mixed-integer linear inequalities (MILP) on binary variables in-place (without auxiliary variables), reaching minimum possible number of inequalities for small functions and providing ...
Aleksei Udovenko
core +2 more sources
Unit commitment with frequency‐arresting adequacy constraint: Modelling and pricing aspects
IET Generation, Transmission & Distribution, 2022 Frequency‐arresting (FA) adequacy has received an increasing attention in operation of power systems with intermittent, electronically connected wind and sfolar generation.
Ehsan Davari Nejad +2 more
doaj +1 more source
POETS Blockchain MILP Solver - Initial Release
<p><strong>Full Changelog</strong>: https://github.com/UmaMaquinaDeOndas/milp-solver/commits/v1.0.0</p ...
Scott, Ian J., Huang, Chung-Ting
core +1 more source
Exact Methods for the Cumulative Capacitated Vehicle Routing Problem With Time Windows
Networks, EarlyView.ABSTRACT This article studies the cumulative capacitated vehicle routing problem with time windows (CCVRPTW). The CCVRPTW consists of deciding the routing schedules for a set of homogeneous capacitated vehicles such that the latency, that is, the sum of the service start times at the customers, is minimized and the time windows as well as the vehicle ...
Alan Osorio‐Mora, Timo Gschwind
wiley +1 more source
Sustainable Production Planning: Insights Into Factors, Models, and Solution Methods
Sustainable Development, EarlyView.ABSTRACT Effective resource management remains a major challenge for organizations seeking to balance economic efficiency with environmental and social responsibility. In this context, production planning becomes a strategic mechanism for integrating sustainability into industrial operations.
Daysi Ortiz +2 more
wiley +1 more source
CoCo-MILP: Inter-Variable Contrastive and Intra-Constraint Competitive MILP Solution Prediction
Proceedings of the AAAI Conference on Artificial IntelligenceMixed-Integer Linear Programming (MILP) is a cornerstone of combinatorial optimization, yet solving large-scale instances remains a significant computational challenge. Recently, Graph Neural Networks (GNNs) have shown promise in accelerating MILP solvers by predicting high-quality solutions.
Tianle Pu +7 more
openaire +2 more sources
Maintenance Scheduling Optimization Using MILP and Asset LCA
Journal of Engineering, Project, and Production ManagementIn asset lifecycle management, the increasing scale of power equipment and the complexity of the operating environment challenge traditional maintenance and scheduling methods to meet the requirements of high efficiency, economy, and reliability ...
Qiqi Zhang, Xufeng Zhou, Yi Cao
doaj +1 more source
Multiplexer model for RTL satisfiability using MILP
, 2004 New approaches to the satisfiability problem (SAT) for register transfer level (RTL) designs combine arithmetic blocks with Boolean logic to form a mixed integer linear program (MILP).
Montiel-Nelson, J. A. +4 more
core +1 more source