ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Satisfiability"
Satisfiability
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
RNDr. Ing. Otakar Trunda Ph.D.
Externí akademický pracovník na Matematicko-fyzikální fakulta
9 publikací
Publikace
publication
Reinforced Encoding for Planning as SAT
Publikace bez příslušnosti k fakultě
publication
Heuristic Learning in Domain-Independent Planning: Theoretical Analysis and Experimental Evaluation
2021 |
Matematicko-fyzikální fakulta
publication
Deep Learning of Heuristics for Domain-independent Planning
2020 |
Matematicko-fyzikální fakulta
publication
Deep Heuristic-learning in the Rubik's Cube Domain: An Experimental Evaluation
2017 |
Matematicko-fyzikální fakulta
publication
Fitness landscape analysis of hyper-heuristic transforms for the vertex cover problem
2016 |
Matematicko-fyzikální fakulta
publication
Automatic creation of pattern databases in planning
2014 |
Matematicko-fyzikální fakulta
publication
Determining a Proper Initial Configuration of Red-Black Planning by Machine Learning
2014 |
Matematicko-fyzikální fakulta
publication
Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains
2013 |
Matematicko-fyzikální fakulta
publication
Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems
2012 |
Matematicko-fyzikální fakulta
Loading network view...