English
Related papers

Related papers: Mixed-integer linear representability, disjunction…

200 papers

The goal of survey design is often to minimize the errors associated with inference: the total of bias and variance. Random surveys are common because they allow the use of theoretically unbiased estimators. In practice however, such…

Methodology · Statistics 2023-02-14 Connie Okasaki , Sándor F. Tóth , Andrew M. Berdahl

Multi-product pipelines are a highly efficient means of transporting liquids. Traditionally used to transport petroleum, its products and derivatives, they are now being repurposed to transport liquified natural gas admixed with hydrogen of…

Optimization and Control · Mathematics 2023-12-19 Ales Wodecki , Pavel Rytir , Vyacheslav Kungurtsev , Jakub Marecek

Mixed-integer rounding (MIR) cutting planes (cuts) are effective at improving the strength of a linear relaxation for mixed-integer linear programming (MIP) problems. The cuts in this family are derived by aggregating constraints then…

Optimization and Control · Mathematics 2024-12-16 Oscar Guaje , Arnaud Deza , Aleksandr M. Kazachkov , Elias B. Khalil

A novel framework for designing the molecular structure of chemical compounds with a desired chemical property has recently been proposed. The framework infers a desired chemical graph by solving a mixed integer linear program (MILP) that…

Computational Engineering, Finance, and Science · Computer Science 2023-05-02 Jianshen Zhu , Naveed Ahmed Azam , Kazuya Haraguchi , Liang Zhao , Hiroshi Nagamochi , Tatsuya Akutsu

This paper addresses the optimization of edge-weighted networks by maximizing algebraic connectivity to enhance network robustness. Motivated by the need for precise robot position estimation in cooperative localization and pose-graph…

Systems and Control · Electrical Eng. & Systems 2024-09-25 Neelkamal Somisetty , Harsha Nagarajan , Swaroop Darbha

Planning in hybrid systems with both discrete and continuous control variables is important for dealing with real-world applications such as extra-planetary exploration and multi-vehicle transportation systems. Meanwhile, generating…

Robotics · Computer Science 2021-02-23 Jingkai Chen , Brian Williams , Chuchu Fan

Most existing interpretable methods explain a black-box model in a post-hoc manner, which uses simpler models or data analysis techniques to interpret the predictions after the model is learned. However, they (a) may derive contradictory…

Machine Learning · Computer Science 2020-01-22 Mengzhuo Guo , Qingpeng Zhang , Xiuwu Liao , Daniel Dajun Zeng

Contrastive pre-trained vision-language models, such as CLIP, demonstrate strong generalization abilities in zero-shot classification by leveraging embeddings extracted from image and text encoders. This paper aims to robustly fine-tune…

Computer Vision and Pattern Recognition · Computer Science 2025-11-14 Satoshi Suzuki , Shin'ya Yamaguchi , Shoichiro Takeda , Taiga Yamane , Naoki Makishima , Naotaka Kawata , Mana Ihori , Tomohiro Tanaka , Shota Orihashi , Ryo Masumura

Mixed-Integer Linear Programming (MILP) plays an important role across a range of scientific disciplines and within areas of strategic importance to society. The MILP problems, however, suffer from combinatorial complexity. Because of…

Optimization and Control · Mathematics 2023-01-06 Mikhail A. Bragin , Emily L. Tucker

In this paper, we investigate the mixed-integer nonlinear set with box constraints $X = \{(w,x)\in R\times Z^n:w\leq f(a^Tx),0\leq x\leq \mu\}$, where $f$ is a univariate concave function, $a\in R^n$, and $\mu\in Z^n_{++}$. This set arises…

Optimization and Control · Mathematics 2026-01-27 Keyan Li , Yan-Ru Wang , Wei-Kun Chen , Yu-Hong Dai

In this paper we extend the work of Rautenbach and Szwarcfiter by giving a structural characterization of graphs that can be represented by the intersection of unit intervals that may or may not contain their endpoints. A characterization…

Combinatorics · Mathematics 2014-05-19 Alan Shuchat , Randy Shull , Ann N. Trenk , Lee C. West

This paper addresses the challenge of determining optimal cut-offs for a set of n items with m scores to maximize distinguishability. The term distinguishability is defined as the fraction of item pairs assigned to different buckets, where…

Optimization and Control · Mathematics 2025-09-16 Shravan Mohan

We consider the feasibility problem of integer linear programming (ILP). We show that solutions of any ILP instance can be naturally represented by an FO-definable class of graphs. For each solution there may be many graphs representing it.…

Logic in Computer Science · Computer Science 2014-08-27 Constantin Enea , Peter Habermehl , Omar Inverso , Gennaro Parlato

Recently a novel framework has been proposed for designing the molecular structure of chemical compounds using both artificial neural networks (ANNs) and mixed integer linear programming (MILP). In the framework, we first define a feature…

Machine Learning · Computer Science 2021-08-25 Jianshen Zhu , Naveed Ahmed Azam , Kazuya Haraguchi , Liang Zhao , Hiroshi Nagamochi , Tatsuya Akutsu

Joint object matching, also known as multi-image matching, namely, the problem of finding consistent partial maps among all pairs of objects within a collection, is a crucial task in many areas of computer vision. This problem subsumes…

Optimization and Control · Mathematics 2022-11-29 Antonio De Rosa , Aida Khajavirad

Multivariate decision trees are powerful machine learning tools for classification and regression that attract many researchers and industry professionals. An optimal binary tree has two types of vertices, (i) branching vertices which have…

Machine Learning · Computer Science 2024-08-05 Brandon Alston , Illya V. Hicks

Interior point methods (IPMs) are a common approach for solving linear programs (LPs) with strong theoretical guarantees and solid empirical performance. The time complexity of these methods is dominated by the cost of solving a linear…

Optimization and Control · Mathematics 2022-02-04 Gregory Dexter , Agniva Chowdhury , Haim Avron , Petros Drineas

Representation learning is currently a very hot topic in modern machine learning, mostly due to the great success of the deep learning methods. In particular low-dimensional representation which discriminates classes can not only enhance…

Machine Learning · Computer Science 2015-04-13 Wojciech Marian Czarnecki , Rafał Józefowicz , Jacek Tabor

Mixed Hamming packings are considered: the maximal cardinality given a minimum codeword Hamming distance of mixed codes is addressed via mixed integer programming models. Adopting the concept of contact graph from classical continuous…

Discrete Mathematics · Computer Science 2023-10-04 Péter Naszvadi , Mátyás Koniorczyk

Mixed-integer linear programs (MILPs) are widely used in artificial intelligence and operations research to model complex decision problems like scheduling and routing. Designing such programs however requires both domain and modelling…

Artificial Intelligence · Computer Science 2021-07-16 Mohit Kumar , Samuel Kolb , Luc De Raedt , Stefano Teso