SAT solving techniques: a bibliography | Hacker News Reader