Arthur Bit-Monnot. Revisiting Optional Variables in Lazy Clause Generation Solvers for Flexible Scheduling. In Nicolas Beldiceanu, editor, 32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, Lisbon, Portugal, July 20-23, 2026. Volume 379 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
@inproceedings{Bit-Monnot26,
title = {Revisiting Optional Variables in Lazy Clause Generation Solvers for Flexible Scheduling},
author = {Arthur Bit-Monnot},
year = {2026},
doi = {10.4230/LIPIcs.CP.2026.7},
url = {https://doi.org/10.4230/LIPIcs.CP.2026.7},
researchr = {https://researchr.org/publication/Bit-Monnot26},
cites = {0},
citedby = {0},
booktitle = {32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, Lisbon, Portugal, July 20-23, 2026},
editor = {Nicolas Beldiceanu},
volume = {379},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-432-1},
}