Efficient Verified (UN)SAT Certificate Checking

Peter Lammich. Efficient Verified (UN)SAT Certificate Checking. Journal of Automated Reasoning, 64(3):513-532, 2020. [doi]

Abstract

Abstract is missing.