TU Wien Informatics

Role

  • MaxSAT-Based Postprocessing for Treedepth / V. Ramaswamy, S. Szeider / Talk: International Conference on Principles and Practice of Constraint Programming (CP), Louvain-la-Neuve, Belgium; 2020-09-07 - 2020-09-11; in: "CP 2020: Principles and Practice of Constraint Programming", LNCS, 12333 (2020), ISBN: 978-3-030-58474-0; 478 - 495