Essays about: "Daniil Pintjuk"

Found 1 essay containing the words Daniil Pintjuk.

  1. 1. Boosting SAT-solver Performance on FACT Instances with Automatic Parameter Tuning

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Daniil Pintjuk; [2015]
    Keywords : ;

    Abstract : Previous work by Asketorp [2014] has shown that integer factorization with the best SAT-solvers is orders of magnitude slower then with general number field sieve (GNFS). However only default configurations for the tested SAT-solvers ware considered in thous tests therefor this rapport attempts to explore what difference use of good configurations would have made. READ MORE