CP Solver Design for Maximum CPU Utilization (Invited Talk)

Petr Vilím. CP Solver Design for Maximum CPU Utilization (Invited Talk). In Roland H. C. Yap, editor, 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada. Volume 280 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Abstract

Abstract is missing.