TY  - RPRT
TI  - Co-Certificate Learning with SAT Modulo Symmetries
AU  - Markus Kirchweger
AU  - Tomáš Peitl
AU  - Stefan Szeider
PY  - 2023
UR  - https://arxiv.org/abs/2306.10427
ID  - 2306.10427
ER  -