Adaptive large-neighbourhood search for optimisation in answer-set programming
From MaRDI portal
Publication:6665706
DOI10.1016/j.artint.2024.104230MaRDI QIDQ6665706
Tobias Geibinger, Johannes Oetsch, Thomas Eiter, Nelson Higuera Ruiz, Daria Stepanova, Nysret Musliu, Dave Pfliegler
Publication date: 17 January 2025
Published in: Artificial Intelligence (Search for Journal in Brave)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relating constraint answer set programming languages and algorithms
- A general heuristic for vehicle routing problems
- Design and results of the Fifth Answer Set Programming Competition
- Revisiting the self-adaptive large neighborhood search
- Exploring relaxation induced neighborhoods to improve MIP solutions
- On the computational cost of disjunctive logic programming: Propositional case
- Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP
- A local search framework for industrial test laboratory scheduling
- Train scheduling with hybrid ASP
- Declarative local search for predicate logic
- On the complexity of the partner units decision problem
- A machine learning system to improve the performance of ASP solving based on encoding selection
- An Evolutionary Algorithm for Polishing Mixed Integer Programming Solutions
- Multi-Criteria Optimization in Answer Set Programming
- claspfolio2: Advances in Algorithm Selection for Answer Set Programming
- Optimization Methods for the Partner Units Problem
- Complex optimization in answer set programming
- Optimum stable model search: algorithms and implementation
- Advances in WASP
- Combining Heuristics for Configuration Problems Using Answer Set Programming
- Shift Design with Answer Set Programming*
- Clingo goes linear constraints over reals and integers
- Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
- Clingcon: The next generation
- Constraint answer set solver EZCSP and why integration schemas matter
- The External Interface for Extending WASP
- ASP-Core-2 Input Language Format
- Boosting Answer Set Optimization with Weighted Comparator Networks
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
- Multi-shot ASP solving with clingo
- Answer Set Programming
- The DLV system for knowledge representation and reasoning
- Unsatisfiability-based optimization in clasp
- DINS, a MIP Improvement Heuristic
- Principles and Practice of Constraint Programming – CP 2004
- Solution Enumeration by Optimality in Answer Set Programming
This page was built for publication: Adaptive large-neighbourhood search for optimisation in answer-set programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6665706)