Imagen de Portada

Integer Linear Programming Preprocessing for Maximum Satisfiability

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Jialu, Li, Chu-Min, Cherif, Sami, Li, Shuolin, Zheng, Zhifei
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Certified MaxSAT Preprocessing
por: Ihalainen, Hannes, et al.
Publicado: (2024)

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

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

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

Boolean Satisfiability via Imitation Learning
por: Zhang, Zewei, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
por: Yazdani, Milad, et al.
Publicado: (2025)