Scalable Satisfiability-driven Problem Solving

  • Tagung:

    Helmholtz AI Conference

  • Tagungsort:

    Dresden

  • Datum:

    Juni 2022

  • Autoren:

    Dominik Schreiber, Peter Sanders

  • Referent:

    Dominik Schreiber