PACE Solver Description: PID⋆.

Max Bannach, Sebastian Berndt, Martin Schuster, Marcel Wienöbst

Original languageEnglish
Pages28:1-28:4
DOIs
Publication statusPublished - 2020

DFG Research Classification Scheme

  • 409-01 Theoretical Computer Science

Cite this