Proving that solutions to incremental satisfiability problems are correct - Amazon Science
Method enables machine-checkable proofs of SAT solvers’ decisions on incremental SAT problems, in which problem constraints are gradually imposed over time.| Amazon Science
