Published in: LIPIcs, Volume 340, 31st International Conference on Principles and Practice of Constraint Programming (CP 2025)
Michael Prümm, Peter Nightingale, and Felix Ulrich-Oltean. Scheduling Telescope Observations for the European Southern Observatory (Short Paper). In 31st International Conference on Principles and Practice of Constraint Programming (CP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 340, pp. 43:1-43:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@InProceedings{prumm_et_al:LIPIcs.CP.2025.43,
author = {Pr\"{u}mm, Michael and Nightingale, Peter and Ulrich-Oltean, Felix},
title = {{Scheduling Telescope Observations for the European Southern Observatory}},
booktitle = {31st International Conference on Principles and Practice of Constraint Programming (CP 2025)},
pages = {43:1--43:10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-380-5},
ISSN = {1868-8969},
year = {2025},
volume = {340},
editor = {de la Banda, Maria Garcia},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2025.43},
URN = {urn:nbn:de:0030-drops-239041},
doi = {10.4230/LIPIcs.CP.2025.43},
annote = {Keywords: Modelling, Constraint Programming, Scheduling, SAT, Global Constraints}
}