Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

CC BY

Lưu vào:
Hiển thị chi tiết
Tác giả chính: Yong Kiam, Tan, Marijn J. H., Heule, Magnus O., Myreen
Định dạng: Sách
Ngôn ngữ:English
Nhà xuất bản: Springer 2023
Chủ đề:
SAT
LPR
Truy cập trực tuyến:https://link.springer.com/article/10.1007/s10009-022-00690-y
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7368
Từ khóa: Thêm từ khóa
Không có từ khóa, Hãy là người đầu tiên đánh dấu biểu ghi này!