CORE

🇺🇦   make metadata, not war

    850 research outputs found

    Proceedings of SAT Competition 2020 : Solver and Benchmark Descriptions

    Author
      Publication venue
      University of Helsinki, Department of Computer Science
      Publication date
      Field of study
      Get PDF
      Helsingin yliopiston digitaalinen arkisto

      Proceedings of SAT Competition 2020 : Solver and Benchmark Descriptions

      Author
        Publication venue
        Department of Computer Science, University of Helsinki
        Publication date
        Field of study
        Get PDF
        Non peer reviewe
        Helsingin yliopiston digitaalinen arkisto

        MaxSAT Evaluation 2021 : Solver and Benchmark Descriptions

        Author
          Publication venue
          Department of Computer Science, University of Helsinki
          Publication date
          Field of study
          Get PDF
          Non peer reviewe
          Helsingin yliopiston digitaalinen arkisto
          • …
          corecore