Multiple Constant Multiplication using Boolean Satisfiability (SAT MCM)

View/Open
Date
2023-05-08
Author
Fiege, Nicolai
Contributing Person/Institution
ProjectMember: Kumm, Martin Prof. Dr.
ProjectMember: Zipf, Peter Prof. Dr.
Metadata
Show full item record
Abstract
The .tar archive contains the C++ program and Python scripts that we used to generate experimental results for the paper "Bit-Level Optimized Constant Multiplication using Boolean Satisfiability" (TCAS).
URI
https://daks.uni-kassel.de/handle/123456789/55
https://doi.org/10.48662/daks-21
Collections
Except where otherwise noted, this item's license is described as GPL - GNU General Public License