Skip to main content
English
English
Deutsch
Log In
Log in with Shibboleth
Log in
Have you forgotten your password?
DaKS
|
Research data repository
Communities & Collections
All of DaKS
About
Statistics
DaKS
Administratives
Personen
Kumm, Martin
Person
Kumm, Martin
Loading...
Email Address
Birth Date
ORCID
0000-0002-8593-3138
GND
1107561361
Research Projects
Organizational Units
Loading...
Organizational Unit
Hochschule Fulda
Job Title
Last Name
Kumm
First Name
Martin
Name
Full item page
1 results
Back to results
Filters
Author
1
search.filters.author.Fiege, Nicolai
Subject
1
search.filters.subject.Arithmetic
1
search.filters.subject.Boolean Satisfiability
1
search.filters.subject.Constant Multiplication
1
search.filters.subject.Optimization
Has files
1
Yes
Faculty
1
search.filters.kaFaculty.FB16:Elektrotechnik/Informatik
Reset filters
Settings
Sort By
Most Relevant
Title Ascending
Date Issued Descending
Accessioned Date Descending
Results per page
1
5
10
20
40
60
80
100
All of DaKS
Search
Contributor: search.filters.isContributorOfDataset.ee0716f1-1b48-4a47-adca-d0ce8ef8e0fc
×
Search Tools
Research Data
Now showing
1 - 1 of 1
No Thumbnail Available
Research Data
Multiple Constant Multiplication using Boolean Satisfiability (SAT MCM)
Fiege, Nicolai
;
Kumm, Martin
;
Zipf, Peter
Show more