Multiple Constant Multiplication using Boolean Satisfiability (SAT MCM)

Fiege, Nicolai

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

Fiege, Nicolai

Contributors

Further Persons:

Kumm, Martin

Zipf, Peter

Dates

Accessible since: 2023-05-08Available since: 2023-05-08

Relations

Supplement to: https://doi.org/10.1109/TCSI.2023.3327814

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

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

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