Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sugimori, Irumi, Inoue, Katsumi, Nabeshima, Hidetomo, Schaub, Torsten, Soh, Takehide, Tamura, Naoyuki, Banbara, Mutsunori
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

Dominating Set Reconfiguration with Answer Set Programming
by: Kato, Masato, et al.
Published: (2024)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
by: Nabeshima, Hidetomo, et al.
Published: (2025)

Neural Decision-Propagation for Answer Set Programming
by: Eiter, Thomas, et al.
Published: (2026)

Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Meta-Programming for Linear-time Temporal Answer Set Programming
by: Hahn, Susana, et al.
Published: (2026)

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Reasoning about Study Regulations in Answer Set Programming
by: Hahn, Susana, et al.
Published: (2024)

Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

Compiling Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2025)

Implementing Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2026)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
by: Kaminski, Roland, et al.
Published: (2024)

Differentiable Logic Programming for Distant Supervision
by: Takemura, Akihiro, et al.
Published: (2024)

Variable Assignment Invariant Neural Networks for Learning Logic Programs
by: Phua, Yin Jun, et al.
Published: (2024)

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

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

Counterfactual Generation with Answer Set Programming
by: Dasgupta, Sopam, et al.
Published: (2024)

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

Predicate Renaming via Large Language Models
by: Gentili, Elisabetta, et al.
Published: (2025)

Domain-Independent Dynamic Programming: Generic State Space Search for Combinatorial Optimization
by: Kuroiwa, Ryo, et al.
Published: (2022)

CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning
by: Lin, Xinrui, et al.
Published: (2024)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
by: Aguado, Felicidad, et al.
Published: (2025)

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
by: Azzolini, Damiano, et al.
Published: (2024)

Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
by: Takemura, Akihiro, et al.
Published: (2026)

Hybrid Answer Set Programming: Foundations and Applications
by: Rühling, Nicolas
Published: (2025)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Answer Set Programming for Flexible Payroll Management
by: Callewaert, Benjamin, et al.
Published: (2024)

A Proof-of-Concept for Explainable Disease Diagnosis Using Large Language Models and Answer Set Programming
by: Gemou, Ioanna, et al.
Published: (2025)

Answer Set Programming Modulo Theories and Reasoning about Continuous Changes
by: Lee, Joohyung, et al.
Published: (2025)

Human Emotion Verification by Action Languages via Answer Set Programming
by: Brännström, Andreas, et al.
Published: (2026)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
by: Eiter, Thomas, et al.
Published: (2022)

Functional Stable Model Semantics and Answer Set Programming Modulo Theories
by: Bartholomew, Michael, et al.
Published: (2026)

Neuro-Symbolic Learning of Answer Set Programs from Raw Data
by: Cunnington, Daniel, et al.
Published: (2022)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

Declarative Synthesis and Multi-Objective Optimization of Stripboard Circuit Layouts Using Answer Set Programming
by: Li, Fang
Published: (2025)

On the generalization of learned constraints for ASP solving in temporal domains
by: Romero, Javier, et al.
Published: (2024)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
by: Bankosegger, Rafael, et al.
Published: (2026)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)