Repository logo
 
Research Data

Multiple Constant Multiplication using Boolean Satisfiability (SAT MCM)

Description

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).

Metadata

Authors
Contributors
Further Persons:
Dates
Available since: 2023-05-08
DOI
https://doi.org/10.48662/daks-21
Faculty
FB16:Elektrotechnik/Informatik
Language
eng
Data types
Software
Keywords
ArithmeticConstant MultiplicationBoolean SatisfiabilityOptimization
License
http://www.gnu.org/licenses/gpl-3.0.en.html
URI
https://daks.uni-kassel.de/handle/123456789/55
show more
Files
Document
Type
Size
sat_mcm.tar
5.44 MB
Fiege, Nicolai; Kumm, Martin; Zipf, Peter. (2023). Multiple Constant Multiplication using Boolean Satisfiability (SAT MCM). DaKS. https://doi.org/10.48662/daks-21

License

GPL - GNU General Public License
Except where otherwised noted, this item's license is described as GPL - GNU General Public License