Cover Image

Resource-Constrained Heuristic for Max-SAT

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Matejek, Brian, Elenius, Daniel, Gentry, Cale, Stoker, David, Cobb, Adam
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Addressing Uncertainty in LLMs to Enhance Reliability in Generative AI
by: Kaur, Ramneet, et al.
Published: (2024)

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

Petri Net Induced Heuristic Search for Resource Constrained Scheduling
by: Lublin, Ido, et al.
Published: (2026)

LLM Routing as Reasoning: A MaxSAT View
by: Nguyen, Son, et al.
Published: (2026)

IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses
by: Lübke, Ole
Published: (2024)

Enhancing Local Search for MaxSAT with Deep Differentiation Clause Weighting
by: Jiang, Menghua, et al.
Published: (2025)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
by: Van Kieu, Tuyen, et al.
Published: (2026)

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

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
by: Ye, Furong, et al.
Published: (2024)

Calibrating Uncertainty Quantification of Multi-Modal LLMs using Grounding
by: Padhi, Trilok, et al.
Published: (2025)

Backpropagation-Free Metropolis-Adjusted Langevin Algorithm
by: Cobb, Adam D., et al.
Published: (2025)

DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models
by: Chen, Minyu, et al.
Published: (2025)

A general optimization solver based on OP-to-MaxSAT reduction
by: Zhao, Yuxin, et al.
Published: (2026)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
by: Orvalho, Pedro, et al.
Published: (2024)

Breaking Bad: Interpretability-Based Safety Audits of State-of-the-Art LLMs
by: Agarwal, Krishiv, et al.
Published: (2026)

AGENT: An Aerial Vehicle Generation and Design Tool Using Large Language Models
by: Samplawski, Colin, et al.
Published: (2025)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
by: Sun, Yiwen, et al.
Published: (2024)

Memory Allocation in Resource-Constrained Reinforcement Learning
by: Tamborski, Massimiliano, et al.
Published: (2025)

Do Diffusion Models Dream of Electric Planes? Discrete and Continuous Simulation-Based Inference for Aircraft Design
by: Ghiglino, Aurelien, et al.
Published: (2026)

MILP-SAT-GNN: Yet Another Neural SAT Solver
by: Cardillo, Franco Alberto, et al.
Published: (2025)

From Actions to Understanding: Conformal Interpretability of Temporal Concepts in LLM Agents
by: Padhi, Trilok, et al.
Published: (2026)

Bidirectional Bounded-Suboptimal Heuristic Search with Consistent Heuristics
by: Shperberg, Shahaf S., et al.
Published: (2025)

Solving Cyclic Antibandwidth Problem by SAT
by: Xuan, Hieu Truong, et al.
Published: (2026)

Resource Constrained Pathfinding with A* and Negative Weights
by: Ahmadi, Saman, et al.
Published: (2025)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
by: Jha, Piyush, et al.
Published: (2024)

On Accelerating Edge AI: Optimizing Resource-Constrained Environments
by: Sander, Jacob, et al.
Published: (2025)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
by: Júnior, Antônio Carlos Souza Ferreira, et al.
Published: (2024)

Neural Approaches to SAT Solving: Design Choices and Interpretability
by: Mojžíšek, David, et al.
Published: (2025)

Resource Constrained Pathfinding with Enhanced Bidirectional A* Search
by: Ahmadi, Saman, et al.
Published: (2024)

Evaluation of Language Models in the Medical Context Under Resource-Constrained Settings
by: Posada, Andrea, et al.
Published: (2024)

Orbitopal Fixing in SAT
by: Anders, Markus, et al.
Published: (2026)

Orthologic for SAT Solving
by: de Haldat, Vladislas, et al.
Published: (2026)

High-Throughput SAT Sampling
by: Ardakani, Arash, et al.
Published: (2025)

W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs
by: Wen, Weihuang, et al.
Published: (2023)

RCCDA: Adaptive Model Updates in the Presence of Concept Drift under a Constrained Resource Budget
by: Piaseczny, Adam, et al.
Published: (2025)

EoH-S: Evolution of Heuristic Set using LLMs for Automated Heuristic Design
by: Liu, Fei, et al.
Published: (2025)

Heuristic Multiobjective Discrete Optimization using Restricted Decision Diagrams
by: Patel, Rahul, et al.
Published: (2024)

SAT-Based Bounded Fitting for the Description Logic ALC
by: Funk, Maurice, et al.
Published: (2025)

Federating to Grow Transformers with Constrained Resources without Model Sharing
by: Shen, Shikun, et al.
Published: (2024)

Situational-Constrained Sequential Resources Allocation via Reinforcement Learning
by: Zhang, Libo, et al.
Published: (2025)