Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra
CC BY
Lưu vào:
| Tác giả chính: | , |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Nhà xuất bản: |
Springer
2023
|
| Chủ đề: | |
| Truy cập trực tuyến: | https://link.springer.com/article/10.1007/s10009-022-00688-6 https://dlib.phenikaa-uni.edu.vn/handle/PNK/7364 |
| 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!
|