CDCL, CDCL with branch and bound, certification, Incremental SAT, proof checking, proofs, verification.
