Classes
- Pseudo-Boolean OptimizationNTIN096 | Faculty of Mathematics and Physics
- Complexity +1NTIN063 | Faculty of Mathematics and Physics
- Algorithms and Data Structures 1NTIN060 | Faculty of Mathematics and Physics
- Elective class at NCSU PragueNTIN109 | Faculty of Mathematics and Physics
- Seminar on Boolean Functions 1NTIN093 | Faculty of Mathematics and Physics
- Introduction to Complexity and Computability +1NTIX090 | Faculty of Mathematics and Physics
Study programmes
- Computer Science with specialisation in Artificial Intelligence +2Bc. | Faculty of Mathematics and Physics
- Computer Science with specialisation in General Computer Science +2Bc. | Faculty of Mathematics and Physics
- Computer Science with specialisation in Programming and Software Development +2Bc. | Faculty of Mathematics and Physics
- Computer Science with specialisation in Systems Programming +2Bc. | Faculty of Mathematics and Physics
- Computer Science with specialisation in Computer Graphics, Vision and Game Development +2Bc. | Faculty of Mathematics and Physics
- Computer Science +2Bc. | Faculty of Mathematics and Physics
- Computer Science with specialisation in Web and Data Oriented Programming +2Bc. | Faculty of Mathematics and Physics
- Computer Science with specialisation in Computer Graphics and Vision +1Bc. | Faculty of Mathematics and Physics
Publications
- Annals of Operations Research Recognizing distributed approval voting forms and correspondences2024 | Faculty of Mathematics and Physics
- Annals of Mathematics and Artificial Intelligence A faster implementation of EQ and SE queries for switch-list representations2024 | Faculty of Mathematics and Physics
- Non-standard knowledge representation languages2023 | Faculty of Mathematics and Physics
- APPROXIMATING MINIMUM REPRESENTATIONS OF KEY HORN FUNCTIONS*2022 | Faculty of Mathematics and Physics
- Unique key Horn functions2022 | Faculty of Mathematics and Physics
- Switch lists in the landscape of knowledge representations languages2022 | Faculty of Mathematics and Physics
- A Direct Equivalence-Testing Algorithm for SLRs2022 | Faculty of Mathematics and Physics
- Generating clause sequences of a CNF formula2021 | Faculty of Mathematics and Physics
- Properties of Switch-List Representations of Boolean Functions2020 | Faculty of Mathematics and Physics
- Switch-List Representations in a Knowledge Compilation Map2020 | Faculty of Mathematics and Physics
Loading network view...
