TU Wien Informatics

Role

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

  • SAT Modulo Symmetries for Graph Generation / M. Kirchweger, S. Szeider / Talk: International Conference on Principles and Practice of Constraint Programming (CP), Montpellier, France; 2021-10-25 - 2021-10-29; in: "27th International Conference on Principles and Practice of Constraint Programming (CP 2021)", LIPICS, 210 (2021), ISBN: 978-3-95977-211-2; 1 - 16