English
Related papers

Related papers: A Knowledge Representation Approach to Automated M…

200 papers

We present two novel applications of symmetries for mixed-integer linear programming. First we propose two variants of a new heuristic to improve the objective value of a feasible solution using symmetries. These heuristics can use either…

Optimization and Control · Mathematics 2014-08-19 Philipp M. Christophel , Menal Güzelsoy , Imre Pólik

Storyline drawings are a popular visualization of interactions of a set of characters over time, e.g., to show participants of scenes in a book or movie. Characters are represented as $x$-monotone curves that converge vertically for…

Data Structures and Algorithms · Computer Science 2024-09-05 Alexander Dobler , Michael Jünger , Paul J. Jünger , Julian Meffert , Petra Mutzel , Martin Nöllenburg

We consider the problem of minimizing the makespan on batch processing identical machines, subject to compatibility constraints, where two jobs are compatible if they can be processed simultaneously in a same batch. These constraints are…

Discrete Mathematics · Computer Science 2023-09-07 Khaoula Bouakaz , Mourad Boudhar

Output thresholding is the technique to search for the best threshold to be used during inference for any classifiers that can produce probability estimates on train and testing datasets. It is particularly useful in high imbalance…

Machine Learning · Computer Science 2024-05-21 Baran Koseoglu , Luca Traverso , Mohammed Topiwalla , Egor Kraev , Zoltan Szopory

The increase in non-renewable energy consumption and CO2 emissions, especially in the manufacturing sector, is moving radical shifts in energy supply policies and production models. Renewable energy integration and regulated pricing…

Optimization and Control · Mathematics 2024-12-24 Mirko Mucciarini , Giulia Caselli , Daniele De Santis , Manuel Iori , Juan José Miranda-Bront

Symmetry in mathematical optimisation is of broad and current interest. In problem classes such as mixed-integer linear programming (MILP), equivalent solutions created by symmetric variables and constraints may combinatorially increase the…

Optimization and Control · Mathematics 2017-11-08 Georgia Kouyialis , Ruth Misener

Machine Learning Interatomic Potentials (MLIP) are a novel in silico approach for molecular property prediction, creating an alternative to disrupt the accuracy/speed trade-off of empirical force fields and density functional theory (DFT).…

Efficient construction of models capturing the preconditions and effects of actions is essential for applying AI planning in real-world domains. Extensive prior work has explored learning such models from high-level descriptions of state…

Artificial Intelligence · Computer Science 2026-05-08 Kai Xi , Stephen Gould , Sylvie Thiébaux

Nowadays, a huge amount of knowledge has been amassed in digital agriculture. This knowledge and know-how information are collected from various sources, hence the question is how to organise this knowledge so that it can be efficiently…

Databases · Computer Science 2020-11-24 Quoc Hung Ngo , Tahar Kechadi , Nhien-An Le-Khac

In this paper, a mixed integer linear programming (MILP) formulation is proposed to solve the dynamic economic dispatch with valve-point effect (DED-VPE). Based on piecewise linearization technique, the non-convex and non-smooth generation…

Optimization and Control · Mathematics 2017-02-17 Shanshan Pan , Jinbao Jian , Linfeng Yang

Ridepooling services play an increasingly important role in modern transportation systems. With soaring demand and growing fleet sizes, the underlying route planning problems become increasingly challenging. In this context, we consider the…

Optimization and Control · Mathematics 2024-10-03 Daniela Gaul , Kathrin Klamroth , Christian Pfeiffer , Arne Schulz , Michael Stiglmayr

Intelligent motion planning is one of the core components in automated vehicles, which has received extensive interests. Traditional motion planning methods suffer from several drawbacks in terms of optimality, efficiency and generalization…

Robotics · Computer Science 2020-05-12 Chenyang Xi , Tianyu Shi , Yuankai Wu , Lijun Sun

Mixed-Integer Linear Programming (MILP) is a powerful framework used to address a wide range of NP-hard combinatorial optimization problems, often solved by Branch and Bound (B&B). A key factor influencing the performance of B&B solvers is…

Machine Learning · Computer Science 2025-10-23 Paul Strang , Zacharie Alès , Côme Bissuel , Olivier Juan , Safia Kedad-Sidhoum , Emmanuel Rachelson

Enhancing existing transmission lines is a useful tool to combat transmission congestion and guarantee transmission security with increasing demand and boosting the renewable energy source. This study concerns the selection of lines whose…

Optimization and Control · Mathematics 2022-07-20 Jian Liu , Rui Bo , Siyuan Wang

This letter explores intelligent scheduling of sensor-to-controller communication in networked control systems, particularly when data transmission incurs a cost. While the optimal controller in a standard linear quadratic Gaussian (LQG)…

Systems and Control · Electrical Eng. & Systems 2025-12-02 Zahra Hashemi , Dipankar Maity

We consider a discrete optimization formulation for learning sparse classifiers, where the outcome depends upon a linear combination of a small subset of features. Recent work has shown that mixed integer programming (MIP) can be used to…

Machine Learning · Statistics 2021-06-08 Antoine Dedieu , Hussein Hazimeh , Rahul Mazumder

Business optimisation has been used extensively to determine optimal solutions for challenging business operations. Problem formulation is an important part of business optimisation as it influences both the validity of solutions and the…

Artificial Intelligence · Computer Science 2025-04-23 Pivithuru Thejan Amarasinghe , Su Nguyen , Yuan Sun , Damminda Alahakoon

Nonlinear power flow constraints render a variety of power system optimization problems computationally intractable. Emerging research shows, however, that the nonlinear AC power flow equations can be successfully modeled using Neural…

Machine Learning · Computer Science 2021-11-01 Alyssa Kody , Samuel Chevalier , Spyros Chatzivasileiadis , Daniel Molzahn

We introduce MathOptInterface, an abstract data structure for representing mathematical optimization problems based on combining pre-defined functions and sets. MathOptInterface is significantly more general than existing data structures in…

Optimization and Control · Mathematics 2026-05-26 Benoit Legat , Oscar Dowson , Joaquim Dias Garcia , Miles Lubin

Mathematical programming is widely employed across various sectors - such as logistics, energy, and workforce planning - to model and solve industrial optimisation problems, but its use requires substantial domain expertise. Large language…

Programming Languages · Computer Science 2026-05-29 Roberto Rossi , Steven D. Prestwich