Boosting SAT-solver Performance on FACT Instances with Automatic Parameter Tuning
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 e...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
KTH, Skolan för datavetenskap och kommunikation (CSC)
2015
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-166552 |