Abstract
Stefan Szeider. VIPR Certificate Construction from Black-Box ILP Solvers. 32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, July 20–23, 2026, Lisbon, Portugal, volume 379 of LIPIcs, pages 52:1-52:14, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.