MaxSAT-Based Postprocessing for Treedepth (bibtex)
by Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider
Reference:
MaxSAT-Based Postprocessing for TreedepthVaidyanathan Peruvemba Ramaswamy, Stefan SzeiderProceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 478–495, 2020, Springer.
Bibtex Entry:
@string{springer="Springer"}
@string{lncs="Lecture Notes in Computer Science"}
@inproceedings{VaidyanathanSzeider20a,
  author    = {Vaidyanathan Peruvemba Ramaswamy and
               Stefan Szeider},
  title     = {{MaxSAT}-Based Postprocessing for Treedepth},
  booktitle = {Proceedings of CP 2020, the 26th International
               Conference on Principles and Practice of Constraint
               Programming},
  year      = {2020},
  editor    = {Helmut Simonis},
  publisher = Springer,
  series    = LNCS,
  volume    = {12333},
  pages     = {478--495},
  crossref  = {DBLP:conf/cp/2020},
  doi       = {10.1007/978-3-030-58475-7\_28},
  url       = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-009.pdf},
  timestamp = {Sat, 19 Sep 2020 13:19:45 +0200}
}
Powered by bibtexbrowser