ℹ️
🇬🇧
Search
Search for people relevant for "Labelling"
Labelling
Person
Class
Person
Publication
Programmes
Export current view
RNDr. Martin Babka
External academic staff at Faculty of Mathematics and Physics
5 publications
Publications
publication
ON ONLINE LABELING WITH LARGE LABEL SET
2019 |
Faculty of Mathematics and Physics
publication
Complexity Issues Related to Propagation Completeness
2013 |
Faculty of Mathematics and Physics
publication
Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas
2013 |
Faculty of Mathematics and Physics
publication
Finding Minimum Satisfying Assignments of Boolean Formulas
2013 |
Faculty of Mathematics and Physics
publication
Finding Minimum Satisfying Assignments of Boolean Formulas
Publication without faculty affiliation
Loading network view...