Revisiting Optional Variables in Lazy Clause Generation Solvers for Flexible Scheduling

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]

Authors

Arthur Bit-Monnot

This author has not been identified. Look up 'Arthur Bit-Monnot' in Google