Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo. Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. 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 is missing.