3 papers
cs.LO2026
Streamliners for Answer Set Programming
Florentina Voboril, Martin Gebser, Stefan Szeider +1
Streamliner constraints reduce the search space of combinatorial problems by ruling out portions of the solution space. We adapt the StreamLLM approach, which uses Large Language M…
cs.AI2025
Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
Mohammed M. S. El-Kholany, Martin Gebser, Konstantin Schekotihin
The Job-shop Scheduling Problem (JSP) is a well-known and challenging combinatorial optimization problem in which tasks sharing a machine are to be arranged in a sequence such that…
cs.LO2025
Proceedings 40th International Conference on Logic Programming
Pedro Cabalar, Francesco Fabiano, Martin Gebser +2
Since the first conference In Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic…