Non-standard representations of Boolean functions for knowledge compilation
Nestandardní reprezentace Booleovských funkcí pro kompilaci znalostí
diplomová práce (OBHÁJENO)
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/193531Identifikátory
SIS: 265628
Kolekce
- Kvalifikační práce [11218]
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Computer Science - Theoretical Computer Science
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
10. 9. 2024
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně