@inproceedings{Szeider26d,
 author = {Stefan Szeider},
 booktitle = {32nd International Conference on Principles and Practice of Constraint
Programming, {CP} 2026, July 20–23, 2026, Lisbon, Portugal},
 doi = {10.4230/LIPICS.CP.2026.52},
 keywords = {coe, strides},
 pages = {52:1–52:14},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {{VIPR} Certificate Construction from Black-Box {ILP} Solvers},
 url = {https://doi.org/10.4230/LIPIcs.CP.2026.52},
 volume = {379},
 year = {2026}
}