Scalable Proof Production and Checking in SMT (Invited Talk).

Cesare Tinelli

Browse the full SAT paper archive.