MaxSAT-Based Postprocessing for Treedepth

Ramaswamy, Vaidyanathan Peruvemba; Szeider, Stefan

doi:10.1007/978-3-030-58475-7_28

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 Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@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},
  doi          = {10.1007/978-3-030-58475-7_28},
  pdf          = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-009.pdf},
  keywords     = {slim,reveal},
}