Download PDFOpen PDF in browser

Typical-case complexity and the SAT competitions

16 pagesPublished: July 28, 2014


The aim of this paper is to gather insight into typical-case complexity of the Boolean Satisfiability (SAT) problem by mining the data from the SAT competitions. Specifically, the statistical properties of the SAT benchmarks and their impact on complexity are investigated, as well as connections between different metrics of complexity. While some of the investigated properties and relationships are "folklore" in the SAT community, this study aims at scientifically showing what is true from the folklore and what is not.

Keyphrases: complexity analysis, SAT competitions, SAT solvers, typical-case complexity

In: Daniel Le Berre (editor). POS-14. Fifth Pragmatics of SAT workshop, vol 27, pages 72--87

BibTeX entry
  author    = {Zoltan Mann},
  title     = {Typical-case complexity and the SAT competitions},
  booktitle = {POS-14. Fifth Pragmatics of SAT workshop},
  editor    = {Daniel Le Berre},
  series    = {EPiC Series in Computing},
  volume    = {27},
  pages     = {72--87},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair,},
  issn      = {2398-7340},
  url       = {},
  doi       = {10.29007/cvj9}}
Download PDFOpen PDF in browser