@inproceedings{KirchwegerPeitlSzeider23,
 author = {Markus Kirchweger and Tom\'{a}\v{s} Peitl and Stefan
Szeider},
 booktitle = {Proceedings of the Thirty-Second International Joint
Conference on Artificial Intelligence, {IJCAI} 2023,
19th-25th August 2023, Macao, SAR, China},
 doi = {10.24963/IJCAI.2023/216},
 keywords = {reveal, slim},
 note = {Main Track},
 pages = {1944--1953},
 publisher = {ijcai.org},
 title = {Co-Certificate Learning with {SAT} Modulo Symmetries},
 url = {https://doi.org/10.24963/ijcai.2023/216},
 year = {2023}
}