Skip to content

Library Functions

This library contains multiple example implementations of the provided interfaces and other components used during LNS:

Note

Heuristics handling and adaptive components are based on the heulingo implementation by Irumi Sugimori12.

  1. Sugimori, I., et. al. Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. 765-776. 2024. (https://doi.org/10.24963/kr.2024/72) ↩

  2. Sugimori, I., et. al. Adaptive Large Neighborhood Prioritized Search for Optimization in Answer Set Programming. Proceedings of the 18th International Conference on Logic Programming and Non-monotonic Reasoning. 2026 (https://github.com/banbaralab/lpnmr2026) ↩