Industrial-Strength Formally Certified SAT Solving | Publicación