www.satcompetition.org

Anchor text: The international SAT competition website

Wikipedia: Boolean satisfiability problem

Wikipedia: DPLL algorithm

Anchor text: format

Wikipedia: Satisfiability modulo theories

Anchor text: Overview

Wikipedia: SAT solver

Anchor text: The international SAT Competitions web page

Wikipedia: SAT solver

Wikipedia: Kevin Leyton-Brown

Anchor text: Certified UNSAT ... 3 different UNSAT certificate types ... Certified UNSAT solver output example

Wikipedia: Wikipedia:Reference desk/Archives/Computing/2022 June 25