Buchumschlag

Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lera-Leri, Roger Xavier, Bistaffa, Filippo, Georgara, Athina, Rodriguez-Aguilar, Juan Antonio
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming
von: Li, Hongpei, et al.
Veröffentlicht: (2025)

Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming
von: Ling, Haotian, et al.
Veröffentlicht: (2024)

Metaheuristics and Large Language Models Join Forces: Toward an Integrated Optimization Approach
von: Sartori, Camilo Chacón, et al.
Veröffentlicht: (2024)

IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning
von: Nieuwenhuis, Robert, et al.
Veröffentlicht: (2024)

Collab-Solver: Collaborative Solving Policy Learning for Mixed-Integer Linear Programming
von: Li, Siyuan, et al.
Veröffentlicht: (2025)

Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning
von: Cai, Junyang, et al.
Veröffentlicht: (2024)

Multi-task Representation Learning for Mixed Integer Linear Programming
von: Cai, Junyang, et al.
Veröffentlicht: (2024)

ID-PaS+ : Identity-Aware Predict-and-Search for General Mixed-Integer Linear Programs
von: Cai, Junyang, et al.
Veröffentlicht: (2025)

Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
von: Kitaoka, Akira
Veröffentlicht: (2025)

Fast and Interpretable Mixed-Integer Linear Program Solving by Learning Model Reduction
von: Li, Yixuan, et al.
Veröffentlicht: (2024)

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
von: Thayaparan, Mokanarangan, et al.
Veröffentlicht: (2024)

VisGraphVar: A Benchmark Generator for Assessing Variability in Graph Analysis Using Large Vision-Language Models
von: Sartori, Camilo Chacón, et al.
Veröffentlicht: (2024)

Integer Linear Programming Preprocessing for Maximum Satisfiability
von: Zhang, Jialu, et al.
Veröffentlicht: (2025)

Improvement of Optimization using Learning Based Models in Mixed Integer Linear Programming Tasks
von: Wang, Xiaoke, et al.
Veröffentlicht: (2025)

Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning
von: Huang, Taoan, et al.
Veröffentlicht: (2023)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

Large Language Model Watermark Stealing With Mixed Integer Programming
von: Zhang, Zhaoxi, et al.
Veröffentlicht: (2024)

Beyond Local Selection: Global Cut Selection for Enhanced Mixed-Integer Programming
von: Zeng, Shuli, et al.
Veröffentlicht: (2025)

An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques
von: Zhang, Mingwei, et al.
Veröffentlicht: (2025)

A General Neural Backbone for Mixed-Integer Linear Optimization via Dual Attention
von: Huang, Peixin, et al.
Veröffentlicht: (2026)

Taming Binarized Neural Networks and Mixed-Integer Programs
von: Aspman, Johannes, et al.
Veröffentlicht: (2023)

Learning Model Agnostic Explanations via Constraint Programming
von: Koriche, Frederic, et al.
Veröffentlicht: (2024)

Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming
von: Wang, Jie, et al.
Veröffentlicht: (2024)

RL-SPH: Learning to Achieve Feasible Solutions for Integer Linear Programs
von: Lee, Tae-Hoon, et al.
Veröffentlicht: (2024)

Feed-Forward Neural Networks as a Mixed-Integer Program
von: Aftabi, Navid, et al.
Veröffentlicht: (2024)

PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs
von: Turner, Mark, et al.
Veröffentlicht: (2023)

MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs
von: Lorenz, Tobias, et al.
Veröffentlicht: (2024)

Local Search for Integer Quadratic Programming
von: He, Xiang, et al.
Veröffentlicht: (2024)

Toward TransfORmers: Revolutionizing the Solution of Mixed Integer Programs with Transformers
von: Cooper, Joshua F., et al.
Veröffentlicht: (2024)

Generating Counterfactual Explanations Under Temporal Constraints
von: Buliga, Andrei, et al.
Veröffentlicht: (2025)

Why Self-Inconsistency Arises in GNN Explanations and How to Exploit It
von: Tai, Wenxin, et al.
Veröffentlicht: (2026)

Beyond Known Reality: Exploiting Counterfactual Explanations for Medical Research
von: Tanyel, Toygar, et al.
Veröffentlicht: (2023)

Learning to Solve the Constrained Most Probable Explanation Task in Probabilistic Graphical Models
von: Arya, Shivvrat, et al.
Veröffentlicht: (2024)

Probabilistic Explanations for Linear Models
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2024)

Combining Constraint Programming Reasoning with Large Language Model Predictions
von: Régin, Florian, et al.
Veröffentlicht: (2024)

Causal Discovery by Interventions via Integer Programming
von: Elrefaey, Abdelmonem, et al.
Veröffentlicht: (2024)

An Efficient Training Pipeline for Reasoning Graphical User Interface Agents
von: Pantazopoulos, Georgios, et al.
Veröffentlicht: (2025)

Mixed Integer Goal Programming for Personalized Meal Optimization with User-Defined Serving Granularity
von: Moreno, Francisco Aguilera
Veröffentlicht: (2026)

Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problem
von: Cai, Junyang, et al.
Veröffentlicht: (2024)

Using Certifying Constraint Solvers for Generating Step-wise Explanations
von: Bleukx, Ignace, et al.
Veröffentlicht: (2025)