:: Library Catalog

Salvato in:

Dettagli Bibliografici
Autori principali:	Schidler, André, Szeider, Stefan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2501.14630
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

What Do LLM Agents Do When Left Alone? Evidence of Spontaneous Meta-Cognitive Patterns
di: Szeider, Stefan
Pubblicazione: (2025)

LLM Self-Explanations Fail Semantic Invariance
di: Szeider, Stefan
Pubblicazione: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
di: Szeider, Stefan
Pubblicazione: (2026)

Algorithm Selection with Zero Domain Knowledge via Text Embeddings
di: Szeider, Stefan
Pubblicazione: (2026)

ASP-Bench: From Natural Language to Logic Programs
di: Szeider, Stefan
Pubblicazione: (2026)

CP-Agent: Agentic Constraint Programming
di: Szeider, Stefan
Pubblicazione: (2025)

MCP-Solver: Integrating Language Models with Constraint Programming Systems
di: Szeider, Stefan
Pubblicazione: (2024)

Smart Cubing for Graph Search: A Comparative Study
di: Kirchweger, Markus, et al.
Pubblicazione: (2025)

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
di: Ihalainen, Hannes, et al.
Pubblicazione: (2025)

Explaining Decisions in ML Models: a Parameterized Complexity Analysis (Part I)
di: Ordyniak, Sebastian, et al.
Pubblicazione: (2025)

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

Generating Streamlining Constraints with Large Language Models
di: Voboril, Florentina, et al.
Pubblicazione: (2024)

Explaining Decisions in ML Models: a Parameterized Complexity Analysis
di: Ordyniak, Sebastian, et al.
Pubblicazione: (2024)

Compilation and Fast Model Counting beyond CNF
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Streamliners for Answer Set Programming
di: Voboril, Florentina, et al.
Pubblicazione: (2026)

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

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

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

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

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
di: Xia, Hai, et al.
Pubblicazione: (2026)

Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search
di: Arbelaez, Alejandro, et al.
Pubblicazione: (2024)

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

SAT Requires Exhaustive Search
di: Xu, Ke, et al.
Pubblicazione: (2023)

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

Where the Really Hard Quadratic Assignment Problems Are: the QAP-SAT instances
di: Verel, Sébastien, et al.
Pubblicazione: (2024)

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

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
di: Liu, Huanyu, et al.
Pubblicazione: (2025)

SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning
di: Quenard, Gaspard, et al.
Pubblicazione: (2024)

Navigating the Labyrinth: Evaluating LLMs' Ability to Reason About Search Problems
di: Borazjanizadeh, Nasim, et al.
Pubblicazione: (2024)

Neural Deconstruction Search for Vehicle Routing Problems
di: Hottung, André, et al.
Pubblicazione: (2025)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
di: Su, Yuheng, et al.
Pubblicazione: (2025)

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

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

Search-Based LLMs for Code Optimization
di: Gao, Shuzheng, et al.
Pubblicazione: (2024)

Structure Enables Effective Self-Localization of Errors in LLMs
di: Samanta, Ankur, et al.
Pubblicazione: (2026)

Accelerating Discrete Facility Layout Optimization: A Hybrid CDCL and CP-SAT Architecture
di: Gibson, Joshua, et al.
Pubblicazione: (2025)

Resource-Constrained Heuristic for Max-SAT
di: Matejek, Brian, et al.
Pubblicazione: (2024)

FinTagging: Benchmarking LLMs for Extracting and Structuring Financial Information
di: Wang, Yan, et al.
Pubblicazione: (2025)

AutoPBO: LLM-powered Optimization for Local Search PBO Solvers
di: Li, Jinyuan, et al.
Pubblicazione: (2025)

A Heuristic Algorithm Based on Beam Search and Iterated Local Search for the Maritime Inventory Routing Problem
di: Sanghikian, Nathalie, et al.
Pubblicazione: (2025)