Show simple item record

Multiple Constant Multiplication using Boolean Satisfiability (SAT MCM)

dc.contributor{"last":"Kumm","first":"Martin Prof. Dr.","role":"ProjectMember","affiliation":"Hochschule Fulda, Fachgebiet Embedded Systems","id":"orcid","id_value":"0000-0002-8593-3138"}
dc.contributor{"last":"Zipf","first":"Peter Prof. Dr.","role":"ProjectMember","affiliation":"Universität Kassel, Fachgebiet Digitaltechnik","id":"orcid","id_value":"0000-0003-4725-4246"}
dc.contributor.author{"last":"Fiege","first":"Nicolai","affiliation":"Universität Kassel, Fachgebiet Digitaltechnik","id":"orcid","id_value":"0000-0002-4357-2119"}
dc.date.accessioned2023-05-08T07:38:11Z
dc.date.available2023-05-08T07:38:11Z
dc.identifier.urihttps://daks.uni-kassel.de/handle/123456789/55
dc.identifier.urihttps://doi.org/10.48662/daks-21
dc.descriptionThe .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).de_DE
dc.language.isoengde_DE
dc.rightsGPL - GNU General Public License
dc.rights.urihttp://www.gnu.org/licenses/gpl-3.0.en.html
dc.subjectArithmeticde_DE
dc.subjectConstant Multiplicationde_DE
dc.subjectBoolean Satisfiabilityde_DE
dc.subjectOptimizationde_DE
dc.titleMultiple Constant Multiplication using Boolean Satisfiability (SAT MCM)de_DE
dc.typeSoftwarede_DE
local.ka.facultyFB16:Elektrotechnik/Informatikde_DE


Files in this item

Thumbnail
Name:
license_GPL.txt
Size:
34.32Kb
Format:
Text file
Checksum(MD5):
1ebbd3e34237af26da5dc08a4e440464
View/Open
Thumbnail
Name:
sat_mcm.tar
Size:
5.439Mb
Format:
Unknown
Checksum(MD5):
ed61f2492814c952477432a3ea84a293
View/Open

This item appears in the following Collection(s)

Show simple item record

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