Change search
ReferencesLink to record
Permanent link

Direct link
Boosting SAT-solver Performance on FACT Instances with Automatic Parameter Tuning
KTH, School of Computer Science and Communication (CSC).
2015 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

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. 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 [2014], 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.
National Category
Other Engineering and Technologies
URN: urn:nbn:se:kth:diva-166552OAI: diva2:811289
Subject / course
Computer Science
Available from: 2015-05-12 Created: 2015-05-11 Last updated: 2015-05-12Bibliographically approved

Open Access in DiVA

fulltext(382 kB)58 downloads
File information
File name FULLTEXT01.pdfFile size 382 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
School of Computer Science and Communication (CSC)
Other Engineering and Technologies

Search outside of DiVA

GoogleGoogle Scholar
Total: 58 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 77 hits
ReferencesLink to record
Permanent link

Direct link