ℹ️
🇬🇧
Search
Search for people relevant for "hierarchy"
hierarchy
Person
Class
Person
Publication
Programmes
Export current view
RNDr. Tomáš Balyo Ph.D.
External academic staff at Faculty of Mathematics and Physics
15 publications
Publications
publication
On Hierarchies over the SLUR Class
2012 |
Faculty of Mathematics and Physics
publication
On Hierarchies over the Class of SLUR Formulae
2011 |
Faculty of Mathematics and Physics
publication
No One SATPlan Encoding To Rule Them All
2015 |
Faculty of Mathematics and Physics
publication
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)
2014 |
Faculty of Mathematics and Physics
publication
On Different Strategies for Eliminating Redundant Actions from Plans
2014 |
Faculty of Mathematics and Physics
publication
Relaxing the Relaxed Exist-Step Parallel Planning Semantics
2013 |
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
On Improving Plan Quality via Local Enhancements
2012 |
Faculty of Mathematics and Physics
Load more publications (5)
Loading network view...