SAT Modulo Symmetries for Graph Generation and Enumeration (bibtex)
by ,
Reference:
SAT Modulo Symmetries for Graph Generation and EnumerationMarkus Kirchweger, Stefan SzeiderACM Transactions on Computational Logic, 2024.Note: to appear
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},
  note      = {to appear},
  keywords  = {asksat},
}
Powered by bibtexbrowser