Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Identifiers
URN: urn:nbn:se:kth:diva-166552OAI: oai:DiVA.org:kth-166552DiVA: diva2:811289
Subject / course
Computer Science
Supervisors
Examiners
Available from: 2015-05-12 Created: 2015-05-11 Last updated: 2015-05-12Bibliographically approved

Open Access in DiVA

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

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 98 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

urn-nbn

Altmetric score

urn-nbn
Total: 127 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf