Efficient Verified (UN)SAT Certificate Checking
Crossref DOI link: https://doi.org/10.1007/s10817-019-09525-z
Published Online: 2019-06-04
Published Print: 2020-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lammich, Peter http://orcid.org/0000-0003-3576-0504
Funding for this research was provided by:
DFG (LA 3292/1)
Text and Data Mining valid from 2019-06-04
Version of Record valid from 2019-06-04
Article History
Received: 29 April 2019
Accepted: 2 May 2019
First Online: 4 June 2019