135 citations · 329 across the 25 of their papers we have counts for
3 papers · 1 filter
Proceedings 38th International Conference on Logic Programming
Yuliya Lierler, Jose F. Morales, Carmine Dodaro +3
ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not li…
Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Alice Tarzariol, Martin Gebser, Mark Law +1
Many industrial applications require finding solutions to challenging combinatorial problems. Efficient elimination of symmetric solution candidates is one of the key enablers for…
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…