ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Compiling"
Compiling
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Radek Hušek Ph.D.
Externí akademický pracovník na Matematicko-fyzikální fakulta
7 publikací
Publikace
publication
Recognition of tractable DNFs representable by a constant number of intervals
2017 |
Matematicko-fyzikální fakulta
publication
Knowledge compilation from DNF to switch-list representations
2016 |
Matematicko-fyzikální fakulta
publication
Knowledge compilation and compression using interval representations
2015 |
Matematicko-fyzikální fakulta
publication
Group connectivity: Z_4 vs Z_2^2
2020 |
Matematicko-fyzikální fakulta
publication
Approximation Algorithms for Steiner Tree Based on Star Contractions: A Unified View
2020 |
Matematicko-fyzikální fakulta
publication
Homomorphisms of Cayley Graphs and Cycle Double Covers
2020 |
Matematicko-fyzikální fakulta
publication
Homomorphisms of Cayley graphs and Cycle Double Covers
2017 |
Matematicko-fyzikální fakulta
Loading network view...