Institute of Theoretical Informatics, Algorithm Engineering

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

  • Author(s):

    Dominik Schreiber

  • Source:

    SAT Competition 2020, Cloud Track

  • Date: 2020