Co-Certificate Learning with SAT Modulo Symmetries

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

by Markus Kirchweger, Tomáš Peitl, Stefan Szeider

Reference:

Co-Certificate Learning with SAT Modulo SymmetriesMarkus Kirchweger, Tomáš Peitl, Stefan SzeiderThe 32nd International Joint Conference on Artificial Intelligence (IJCAI-23), August 19–25, 2023, Macao, S.A.R. (Edith Elkind, ed.), 2023, International Joint Conferences on Artificial Intelligence Organization.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} {M}odulo {S}ymmetries},
  booktitle = {The 32nd International Joint Conference on Artificial
                  Intelligence (IJCAI-23), August 19--25, 2023, Macao, S.A.R.},
  year      = {2023},
  editor    = {Edith Elkind},
  publisher = {International Joint Conferences on Artificial
                  Intelligence Organization},
  note      = {Main Track},
  keywords = {reveal,slim},
}