Co-Certificate Learning with SAT Modulo Symmetries

Kirchweger et al. "Co-Certificate Learning with SAT Modulo Symmetries." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/216

[Kirchweger et al. "Co-Certificate Learning with SAT Modulo Symmetries." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/kirchweger2023ijcai-co/) doi:10.24963/IJCAI.2023/216

@inproceedings{kirchweger2023ijcai-co,
  title     = {{Co-Certificate Learning with SAT Modulo Symmetries}},
  author    = {Kirchweger, Markus and Peitl, Tomás and Szeider, Stefan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {1944-1953},
  doi       = {10.24963/IJCAI.2023/216},
  url       = {https://mlanthology.org/ijcai/2023/kirchweger2023ijcai-co/}
}