HackerPapers

arXiv:1802.05159cs.LO

SAT solving techniques: a bibliography

Louis Abraham

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.

arXiv comments
Journal reference
DOI
Subjects
cs.LOLogic in Computer Science

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Jan 2025 to Jan 2025. Found in 1 HN submission from Feb 2018 to Feb 2018. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. SAT Solver Etudes I 1 comment

    • I remember putting together a bibliography about standard techniques a few years ago: https://arxiv.org/abs/1802.05159

      Labo333View on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.