Buchumschlag

Where the Really Hard Quadratic Assignment Problems Are: the QAP-SAT instances

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Verel, Sébastien, Thomson, Sarah, Rifki, Omar
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

QAP-Router: Tackling Qubit Routing as Dynamic Quadratic Assignment with Reinforcement Learning
von: Nguyen, Kien X., et al.
Veröffentlicht: (2026)

Inventory of the 12 007 Low-Dimensional Pseudo-Boolean Landscapes Invariant to Rank, Translation, and Rotation
von: Liefooghe, Arnaud, et al.
Veröffentlicht: (2026)

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

W2SAT: Learning to generate SAT instances from Weighted Literal Incidence Graphs
von: Wen, Weihuang, et al.
Veröffentlicht: (2023)

Learning Solution-Aware Transformers for Efficiently Solving Quadratic Assignment Problem
von: Tan, Zhentao, et al.
Veröffentlicht: (2024)

Unsupervised Learning for Quadratic Assignment
von: Min, Yimeng, et al.
Veröffentlicht: (2025)

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances
von: Kondratiev, Victor, et al.
Veröffentlicht: (2026)

Solving Cyclic Antibandwidth Problem by SAT
von: Xuan, Hieu Truong, et al.
Veröffentlicht: (2026)

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
von: Li, Yang, et al.
Veröffentlicht: (2023)

Utilising a Quantum Hybrid Solver for Bi-objective Quadratic Assignment Problems
von: Ayodele, Mayowa
Veröffentlicht: (2024)

Learning to Solve the Quadratic Assignment Problem with Warm-Started MCMC Finetuning
von: Pan, Yicheng, et al.
Veröffentlicht: (2026)

Extracting Problem Structure with LLMs for Optimized SAT Local Search
von: Schidler, André, et al.
Veröffentlicht: (2025)

torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
von: Hosny, Abdelrahman, et al.
Veröffentlicht: (2024)

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

HalluHard: A Hard Multi-Turn Hallucination Benchmark
von: Fan, Dongyang, et al.
Veröffentlicht: (2026)

QLLM: Do We Really Need a Mixing Network for Credit Assignment in Multi-Agent Reinforcement Learning?
von: Li, Yuanjun, et al.
Veröffentlicht: (2025)

Problem Reductions at Scale: Agentic Integration of Computationally Hard Problems
von: Pan, Xi-Wei, et al.
Veröffentlicht: (2026)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
von: Sun, Yiwen, et al.
Veröffentlicht: (2024)

Effects of structure on reasoning in instance-level Self-Discover
von: Gunasekara, Sachith, et al.
Veröffentlicht: (2025)

Where It Really Matters: Few-Shot Environmental Conservation Media Monitoring for Low-Resource Languages
von: Jain, Sameer, et al.
Veröffentlicht: (2024)

A Universal Approach to Feature Representation in Dynamic Task Assignment Problems
von: Bianco, Riccardo Lo, et al.
Veröffentlicht: (2025)

Certified MaxSAT Preprocessing
von: Ihalainen, Hannes, et al.
Veröffentlicht: (2024)

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
von: Cotnareanu, Joseph, et al.
Veröffentlicht: (2024)

MILP-SAT-GNN: Yet Another Neural SAT Solver
von: Cardillo, Franco Alberto, et al.
Veröffentlicht: (2025)

Resource-Constrained Heuristic for Max-SAT
von: Matejek, Brian, et al.
Veröffentlicht: (2024)

Orbitopal Fixing in SAT
von: Anders, Markus, et al.
Veröffentlicht: (2026)

Orthologic for SAT Solving
von: de Haldat, Vladislas, et al.
Veröffentlicht: (2026)

High-Throughput SAT Sampling
von: Ardakani, Arash, et al.
Veröffentlicht: (2025)

Principled Data Augmentation for Learning to Solve Quadratic Programming Problems
von: Qian, Chendi, et al.
Veröffentlicht: (2025)

Automatically Generating Hard Math Problems from Hypothesis-Driven Error Analysis
von: Fu, Jiayu, et al.
Veröffentlicht: (2026)

100 instances is all you need: predicting the success of a new LLM on unseen data by testing on a few instances
von: Pacchiardi, Lorenzo, et al.
Veröffentlicht: (2024)

LLM Routing as Reasoning: A MaxSAT View
von: Nguyen, Son, et al.
Veröffentlicht: (2026)

SAT-Based Bounded Fitting for the Description Logic ALC
von: Funk, Maurice, et al.
Veröffentlicht: (2025)

Optimized Task Assignment and Predictive Maintenance for Industrial Machines using Markov Decision Process
von: Nasir, Ali, et al.
Veröffentlicht: (2024)

Fast Analysis of the OpenAI O1-Preview Model in Solving Random K-SAT Problem: Does the LLM Solve the Problem Itself or Call an External SAT Solver?
von: Marino, Raffaele
Veröffentlicht: (2024)

ITA-ECBS: A Bounded-Suboptimal Algorithm for the Combined Target-Assignment and Path-Finding Problem
von: Tang, Yimin, et al.
Veröffentlicht: (2024)

SAT Encoding of Partial Ordering Models for Graph Coloring Problems
von: Faber, Daniel, et al.
Veröffentlicht: (2024)

What Really is Commonsense Knowledge?
von: Do, Quyet V., et al.
Veröffentlicht: (2024)

On Size and Hardness Generalization in Unsupervised Learning for the Travelling Salesman Problem
von: Min, Yimeng, et al.
Veröffentlicht: (2024)

CNOT-Optimal Clifford Synthesis as SAT
von: Shaik, Irfansha, et al.
Veröffentlicht: (2025)