Co-Certificate Learning with SAT Modulo Symmetries

Kirchweger, Markus; Peitl, Tomáš; Szeider, Stefan

doi:10.24963/IJCAI.2023/216

by Markus Kirchweger, Tomáš Peitl, Stefan Szeider

Reference:

Co-Certificate Learning with SAT Modulo SymmetriesMarkus Kirchweger, Tomáš Peitl, Stefan SzeiderProceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, pages 1944–1953, 2023, ijcai.org.Note: Main Track

Bibtex Entry:

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