SAT Modulo Symmetries for Graph Generation and Enumeration

Kirchweger, Markus; Szeider, Stefan

doi:10.1145/3670405

by Markus Kirchweger, Stefan Szeider

Reference:

SAT Modulo Symmetries for Graph Generation and EnumerationMarkus Kirchweger, Stefan SzeiderACM Transactions on Computational Logic, volume 25, number 3, 2024.

Bibtex Entry:

@string{tocl="ACM Transactions on Computational Logic"}
@Article{KirchwegerSzeider24,
  author       = {Markus Kirchweger and Stefan Szeider},
  title        = {{SAT} Modulo Symmetries for Graph Generation and Enumeration},
  journal      = ToCL,
  year 	       = {2024},
   volume = {25},
   number = {3},
  doi = {10.1145/3670405},
  keywords  = {asksat},
}