- HARDNESS OF CONTINUOUS LOCAL SEARCH: QUERY COMPLEXITY AND CRYPTOGRAPHIC LOWER BOUNDS2020 | Faculty of Mathematics and Physics
- The effect of different local search algorithms on the performance of multi-objective optimizers2014 | Faculty of Mathematics and Physics
- Hypervolume-based local search in multi-objective evolutionary optimization2014 | Faculty of Mathematics and Physics
- Combined Global and Local Search for the Falsification of Hybrid Systems2014 | Faculty of Mathematics and Physics
- Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics2004 | Faculty of Mathematics and Physics, Central Library of Charles University
- A Surrogate Multiobjective Evolutionary Strategy with Local Search and Pre-Selection2012 | Faculty of Mathematics and Physics
- Evaluating and Tuning n-fold Integer Programming +12018 | Faculty of Mathematics and Physics
- Hypervolume-Based Surrogate Model for MO-CMA-ES2015 | Faculty of Mathematics and Physics
- Using Algorithm Configuration Tools to Generate Hard SAT Benchmarks2018 | Faculty of Mathematics and Physics
- Meta-Learning and Model Selection in Multiobjective Evolutionary Algorithms2012 | Faculty of Mathematics and Physics
- A Novel Meta Learning System and Its Application to Optimization of Computing Agents' Results2013 | Faculty of Mathematics and Physics
- Two approaches to inner estimations of the optimal solution set in interval linear programming2020 | Faculty of Mathematics and Physics
- Solving the Rotation Assignment Problem for Airlines Using Constraint Programming2010 | Faculty of Mathematics and Physics
- Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects2021 | Faculty of Mathematics and Physics
- Fitness landscape analysis of hyper-heuristic transforms for the vertex cover problem2016 | Faculty of Mathematics and Physics
- Heuristics for Opinion Diffusion via Local Elections2023 | Faculty of Mathematics and Physics