Improving AMULET2 for verifying multiplier circuits using SAT solving and computer algebra

CC BY

Saved in:
Bibliographic Details
Main Authors: Daniela, Kaufmann, Armin, Biere
Format: Book
Language:English
Published: Springer 2023
Subjects:
SAT
Online Access:https://link.springer.com/article/10.1007/s10009-022-00688-6
https://dlib.phenikaa-uni.edu.vn/handle/PNK/7364
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items