CORE

🇺🇦   make metadata, not war

    6 research outputs found

    Proceedings of SAT Competition 2013 : Solver and Benchmark Descriptions

    Author
      Publication venue
      'University of Helsinki Libraries'
      Publication date
      Field of study
      Get PDF
      Peer reviewe
      Helsingin yliopiston digitaalinen arkisto

      Literal Block Distanceに基づく学習節の共有を行う並列SATソルバGlucans

      Author
      Publication venue
      上田, 和紀
      Publication date
      Field of study
      Get PDF
      Waseda University Repository

      Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions

      Author
        Publication venue
        'University of Helsinki Libraries'
        Publication date
        Field of study
        Get PDF
        Peer reviewe
        Helsingin yliopiston digitaalinen arkisto

        Proceedings of SAT Competition 2014 : Solver and Benchmark Descriptions

        Author
          Publication venue
          'University of Helsinki Libraries'
          Publication date
          Field of study
          Get PDF
          Helsingin yliopiston digitaalinen arkisto

          Proceedings of SAT Competition 2014 : Solver and Benchmark Descriptions

          Author
            Publication venue
            'University of Helsinki Libraries'
            Publication date
            Field of study
            Get PDF
            Peer reviewe
            Helsingin yliopiston digitaalinen arkisto
            corecore