Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Joseph E. Reeves"'
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222
Modern SAT solvers produce proofs of unsatisfiability to justify the correctness of their results. These proofs, which are usually represented in the well-known DRAT format, can often become huge, requiring multiple gigabytes of disk storage. We pres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43fa9cccf1101e56f6aa3c424339e035
https://doi.org/10.1007/978-3-031-30823-9_17
https://doi.org/10.1007/978-3-031-30823-9_17
