Analyzing and improving state-of-the-art SAT solvers

Dnr:

SNIC 2016/1-469

Type:

SNAC Medium

Principal Investigator:

Jakob Nordström

Affiliation:

Kungliga Tekniska högskolan

Start Date:

2016-12-01

End Date:

2017-12-01

Primary Classification:

10201: Datavetenskap (= Datalogi)

Secondary Classification:

10104: Diskret matematik

Webpage:

http://www.csc.kth.se/~jakobn/project-proofcplx/

Allocation

Abstract

We want to analyze state-of-the-art SAT solvers and their heuristics by running large scale experiments on various benchmarks. We also want to develop new SAT solving paradigms that have the potential to go beyond state of the art, and need to run extensive experiments to understand better what approaches can or cannot work and why.