:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhang, Jialu, Li, Chu-Min, Cherif, Sami, Li, Shuolin, Zheng, Zhifei
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2506.06216
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming
by: Li, Hongpei, et al.
Published: (2025)

RL-SPH: Learning to Achieve Feasible Solutions for Integer Linear Programs
by: Lee, Tae-Hoon, et al.
Published: (2024)

Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
by: Jabs, Christoph, et al.
Published: (2025)

Collab-Solver: Collaborative Solving Policy Learning for Mixed-Integer Linear Programming
by: Li, Siyuan, et al.
Published: (2025)

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
by: Hosny, Abdelrahman, et al.
Published: (2024)

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

Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning
by: Huang, Taoan, et al.
Published: (2023)

LinSATNet: The Positive Linear Satisfiability Neural Networks
by: Wang, Runzhong, et al.
Published: (2024)

Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming
by: Ling, Haotian, et al.
Published: (2024)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
by: Cen, Yunuo, et al.
Published: (2026)

Exploiting Constraint Reasoning to Build Graphical Explanations for Mixed-Integer Linear Programming
by: Lera-Leri, Roger Xavier, et al.
Published: (2025)

Beyond Local Selection: Global Cut Selection for Enhanced Mixed-Integer Programming
by: Zeng, Shuli, et al.
Published: (2025)

Improvement of Optimization using Learning Based Models in Mixed Integer Linear Programming Tasks
by: Wang, Xiaoke, et al.
Published: (2025)

Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning
by: Cai, Junyang, et al.
Published: (2024)

Multi-task Representation Learning for Mixed Integer Linear Programming
by: Cai, Junyang, et al.
Published: (2024)

The AI Definition and a Program Which Satisfies this Definition
by: Dobrev, Dimiter
Published: (2022)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)

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

Local Search for Integer Quadratic Programming
by: He, Xiang, et al.
Published: (2024)

LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs
by: Hou, Zhinan, et al.
Published: (2026)

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization
by: Chatterjee, Krishnendu, et al.
Published: (2024)

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

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

Certified MaxSAT Preprocessing
by: Ihalainen, Hannes, et al.
Published: (2024)

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference
by: Thayaparan, Mokanarangan, et al.
Published: (2024)

Large Language Model Watermark Stealing With Mixed Integer Programming
by: Zhang, Zhaoxi, et al.
Published: (2024)

Boolean Satisfiability via Imitation Learning
by: Zhang, Zewei, et al.
Published: (2025)

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
by: Li, Jinzhao, et al.
Published: (2025)

Correlated Mutations for Integer Programming
by: Shir, Ofer M., et al.
Published: (2025)

Causal Discovery by Interventions via Integer Programming
by: Elrefaey, Abdelmonem, et al.
Published: (2024)

A General Neural Backbone for Mixed-Integer Linear Optimization via Dual Attention
by: Huang, Peixin, et al.
Published: (2026)

SpikeVAEDiff: Neural Spike-based Natural Visual Scene Reconstruction via VD-VAE and Versatile Diffusion
by: Li, Jialu, et al.
Published: (2026)

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

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory
by: Oh, Hyunseok, et al.
Published: (2026)

Deciding the Satisfiability of Combined Qualitative Constraint Networks
by: Cohen-Solal, Quentin, et al.
Published: (2026)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
by: Zeng, Hongtai, et al.
Published: (2024)

Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
by: Zheng, Jiongzhi, et al.
Published: (2024)

Scalable Floating-Point Satisfiability via Staged Optimization
by: Zhang, Yuanzhuo, et al.
Published: (2026)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)