Boosting SAT-solver Performance on FACT Instances with Automatic Parameter Tuning
Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Previous work by Asketorp  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. Our method involved using automatic parameter tunning with the algorithm iterated local search (ILS). ILS was used to tune the sat solver Minisat. And the tuned configuration was compared with the default by timing Minisat runs with respective configurations. The results show that performance gains are far from being big enough to suggest that the SAT-solvers tested by Asketorp , would have come much closer to the performance of GNFS if tuned configurations were used. However the performance gains achieved in this report are impressive enough to advocate the use of automated parameter tuning of Sat-solvers for specific sets of instances.
Place, publisher, year, edition, pages
2015. , 44 p.
Other Engineering and Technologies
IdentifiersURN: urn:nbn:se:kth:diva-166552OAI: oai:DiVA.org:kth-166552DiVA: diva2:811289
Subject / course