Institut für Theoretische Informatik, Algorithmik II

Engineering HordeSat Towards Malleability: mallob-mono in the SAT 2020 Cloud Track

  • Autor:

    Dominik Schreiber

  • Quelle:

    SAT Competition 2020, Cloud Track

  • Datum: 2020