Multiple Constant Multiplication using Boolean Satisfiability (SAT MCM)

Öffnen
Datum
2023-05-08
Autor
Fiege, Nicolai
Beteiligte Person/Einrichtung
ProjectMember: Kumm, Martin Prof. Dr.
ProjectMember: Zipf, Peter Prof. Dr.
Metadata
Zur Langanzeige
Zusammenfassung
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
Erschienen in
Solange nicht anders angezeigt, wird die Lizenz wie folgt beschrieben: GPL - GNU General Public License