Assessing Progress in SAT Solvers Through the Lens of Incremental SAT | Publicación