SAT Modulo Symmetries: A Survey

Szeider, Stefan

by Stefan Szeider

Reference:

SAT Modulo Symmetries: A SurveyStefan SzeiderSatisfiability Checking and Symbolic Computation, 10th International Workshop, SC-Square 2025, Stuttgart, Germany, August 2, 2025, co-located with CADE 2025, volume 4116 of CEUR Workshop Proceedings, pages 1–11, 2025, CEUR-WS.org.

Bibtex Entry:

@inproceedings{Szeider25b,
  author       = {Stefan Szeider},
  title        = {{SAT} Modulo Symmetries: {A} Survey},
  booktitle    = {Satisfiability Checking and Symbolic Computation, 10th International
                  Workshop, {SC-Square} 2025, Stuttgart, Germany, August 2, 2025,
                  co-located with {CADE} 2025},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {4116},
  pages        = {1--11},
  publisher    = {CEUR-WS.org},
  year         = {2025},
  url          = {https://ceur-ws.org/Vol-4116/},
  keywords     = {coe,asksat},
}