SAT Modulo Symmetries for Graph Generation

Kirchweger, Markus; Szeider, Stefan

doi:10.4230/LIPIcs.CP.2021.34

by Markus Kirchweger, Stefan Szeider

Reference:

SAT Modulo Symmetries for Graph GenerationMarkus Kirchweger, Stefan SzeiderProceeings of CP 2021, the 27th International Conference on Principles and Practice of Constraint Programming (Laurent D. Michel, ed.), pages 39:1–-39:17, 2021, Dagstuhl Publishing.

Bibtex Entry:

@InProceedings{KirchwegerSzeider21,
  author       = {Markus Kirchweger and Stefan Szeider},
  title        = {{SAT} Modulo Symmetries for Graph Generation},
  booktitle = {Proceeings of CP 2021, the 27th International
                  Conference on Principles and Practice of Constraint
                  Programming},
  year      = {2021},
  editor    = {Laurent D. Michel},
  series =    {Leibniz International Proceedings in Informatics
                  (LIPIcs)},
  pages     = {39:1–-39:17},
  publisher = {Dagstuhl Publishing},
  doi       = {10.4230/LIPIcs.CP.2021.34},
  pdf       = {https://drops.dagstuhl.de/opus/volltexte/2021/15325/},
  keywords  = {slim,reveal}
 }