Katsaus algoritmisynteesin nykytilanteeseen
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
Perustieteiden korkeakoulu |
Bachelor's thesis
Electronic archive copy is available locally at the Harald Herlin Learning Centre. The staff of Aalto University has access to the electronic bachelor's theses by logging into Aaltodoc with their personal Aalto user ID. Read more about the availability of the bachelor's theses.
Authors
Date
2018-06-30
Department
Major/Subject
Tietotekniikka
Mcode
SCI3027
Degree programme
Kandidaatintyö ja seminaari
Language
fi
Pages
23
Series
Description
Supervisor
Kannala, JuhoThesis advisor
Suomela, JukkaKeywords
algoritmi, synteesi, tietokoneavusteinen algoritmisuunnittelu, SAT, SMT