@inproceedings{ZhangSzeider23,
 author = {Tianwei Zhang and Stefan Szeider},
 booktitle = {Proceedings of CP 2023, the 29th International
Conference on Principles and Practice of Constraint
Programming},
 doi = {10.4230/LIPICS.CP.2023.39},
 editor = {Roland Yap},
 keywords = {cofund, reveal},
 pages = {39:1--39:20},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {Searching for smallest universal graphs and tournaments with {SAT}},
 url = {https://doi.org/10.4230/LIPIcs.CP.2023.39},
 volume = {280},
 year = {2023}
}