Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

CC BY

Saved in:
Bibliographic Details
Main Authors: Yong Kiam, Tan, Marijn J. H., Heule, Magnus O., Myreen
Format: Book
Language:English
Published: Springer 2023
Subjects:
SAT
LPR
Online Access:https://link.springer.com/article/10.1007/s10009-022-00690-y
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7368
Tags: Add Tag
No Tags, Be the first to tag this record!