Non-standard representations of Boolean functions for knowledge compilation
Nestandardní reprezentace Booleovských funkcí pro kompilaci znalostí
diploma thesis (DEFENDED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/193531Identifiers
Study Information System: 265628
Collections
- Kvalifikační práce [11218]
Faculty / Institute
Faculty of Mathematics and Physics
Discipline
Computer Science - Theoretical Computer Science
Department
Department of Theoretical Computer Science and Mathematical Logic
Date of defense
10. 9. 2024
Publisher
Univerzita Karlova, Matematicko-fyzikální fakultaLanguage
English
Grade
Excellent