Shift Design with Answer Set Programming

DOI10.1007/978-3-319-23264-5_4zbMath1370.68043OpenAlexW2269606602MaRDI QIDQ3449188

Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran, Michael Abseher

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_4

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Compiling finite linear CSP into SAT
• Local search for shift design.
• Personnel scheduling: a literature review
• The minimum shift design problem
• Team-building with answer set programming in the Gioia-Tauro seaport
• Answer set programming as a modeling language for course timetabling

This page was built for publication: Shift Design with Answer Set Programming