Copertina

Integer Linear Programming Preprocessing for Maximum Satisfiability

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Jialu, Li, Chu-Min, Cherif, Sami, Li, Shuolin, Zheng, Zhifei
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Certified MaxSAT Preprocessing
di: Ihalainen, Hannes, et al.
Pubblicazione: (2024)

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

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

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

Boolean Satisfiability via Imitation Learning
di: Zhang, Zewei, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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