← Search

Elias B Khalil

9 accepted papers

2025

Learn2Aggregate: Supervised Generation of Chvatal-Gomory Cuts Using Graph Neural Networks

AAAI 2025technical

We present Learn2Aggregate, a machine learning (ML) framework for optimizing the generation of Chvatal-Gomory (CG) cuts in mixed integer linear programming (MILP). The framework trains a graph neural network to classify useful constraints for aggregation in CG cut generation. The ML-driven CG separa…

2023

Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus

AAAI 2023technical

The Abstraction and Reasoning Corpus (ARC) aims at benchmarking the performance of general artificial intelligence algorithms. The ARC's focus on broad generalization and few-shot learning has made it difficult to solve using pure machine learning. A more promising approach has been to perform progr…

2023

Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto

AAAI 2023technical

The concept of walkable urban development has gained increased attention due to its public health, economic, and environmental sustainability benefits. Unfortunately, land zoning and historic under-investment have resulted in spatial inequality in walkability and social inequality among residents. W…

2022

Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework

AAAI 2022technical

In Mixed Integer Linear Programming (MIP), a (strong) backdoor is a ``small" subset of an instance's integer variables with the following property: in a branch-and-bound procedure, the instance can be solved to global optimality by branching only on the variables in the backdoor. Constructing datase…

2022

MIP-GNN: A Data-Driven Framework for Guiding Combinatorial Solvers

AAAI 2022technical

Mixed-integer programming (MIP) technology offers a generic way of formulating and solving combinatorial optimization problems. While generally reliable, state-of-the-art MIP solvers base many crucial decisions on hand-crafted heuristics, largely ignoring common patterns within a given instance dist…

2021

Combinatorial Optimization and Reasoning with Graph Neural Networks

IJCAI 2021poster

Combinatorial optimization is a well-established area in operations research and computer science. Until recently, its methods have mostly focused on solving problem instances in isolation, ignoring the fact that they often stem from related data distributions in practice. However, recent years have…

Cited by 473SourcePDFScholar