Efficient verified (UN)SAT certificate checking

From MaRDI portal
Publication:5919480

DOI10.1007/s10817-019-09525-zzbMath1468.68134OpenAlexW2944421753WikidataQ127780288 ScholiaQ127780288MaRDI QIDQ5919480

Peter Lammich

Publication date: 3 March 2020

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-019-09525-z




Related Items (6)


Uses Software


Cites Work


This page was built for publication: Efficient verified (UN)SAT certificate checking