- Lower bounds for online makespan minimization on a small number of related machines2013 | Matematicko-fyzikální fakulta
- An Emprical Comparison of the Hardness of Multi-agent Path Finding under the Makespan and the Sum of Costs Objectives2016 | Matematicko-fyzikální fakulta
- Shortening Plans by Local Re-Planning2012 | Matematicko-fyzikální fakulta
- On the extension complexity of scheduling polytopes2020 | Matematicko-fyzikální fakulta
- Multiprocessor jobs, preemptive schedules, and one-competitive online algorithms2023 | Matematicko-fyzikální fakulta
- Graph Balancing: A Special Case of Scheduling Unrelated Parallel Machines2014 | Matematicko-fyzikální fakulta
- A Lower Bound on Deterministic Online Algorithms for Scheduling on Related Machines Without Preemption2015 | Matematicko-fyzikální fakulta
- New Flow-based Heuristic for Search Algorithms Solving Multi-agent Path Finding2017 | Matematicko-fyzikální fakulta
- Integration of Independence Detection into SAT-based Optimal Multi-Agent Path Finding A Novel SAT-based Optimal MAPF Solver2017 | Matematicko-fyzikální fakulta
- A Lower Bound on Deterministic Online Algorithms for Scheduling on Related Machines without Preemption2012 | Matematicko-fyzikální fakulta
- Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving2012 | Matematicko-fyzikální fakulta
- Near Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving2012 | Matematicko-fyzikální fakulta
- On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective2019 | Matematicko-fyzikální fakulta
- Boolean Satisfiability Approach to Optimal Multi-agent Path Finding under the Sum of Cost Objective2016 | Matematicko-fyzikální fakulta
- Multiprocessor Jobs, Preemptive Schedules, and One-Competitive Online Algorithms2015 | Matematicko-fyzikální fakulta
- Optimální a online preemptivní rozvrhování na uniformních počítačích2009 | Matematicko-fyzikální fakulta
- Complexity of Scheduling Few Types of Jobs on Related and Unrelated Machines2020 | Matematicko-fyzikální fakulta
- Scheduling Kernels via Configuration LP2022 | Matematicko-fyzikální fakulta, Ústřední knihovna
- A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well2014 | Matematicko-fyzikální fakulta
- On Improving Plan Quality via Local Enhancements2012 | Matematicko-fyzikální fakulta
- Scheduling meets n-fold integer programming2018 | Matematicko-fyzikální fakulta
- Reduced Time-Expansion Graphs for Solving Cooperative Path Finding Sub-optimally2015 | Matematicko-fyzikální fakulta
- UniAGENT: Reduced Time-Expansion Graphs and Goal Decomposition in Sub-optimal Cooperative Path Finding2015 | Matematicko-fyzikální fakulta
- Semi-Online Preemptive Scheduling: One Algorithm for All Variants2011 | Matematicko-fyzikální fakulta
- Optimální kooperativní hledání cest řešené pomocí výrokové splnitelnosti2013 | Matematicko-fyzikální fakulta
- Efficient SAT Approach to Multi-Agent Path Finding under the Sum of Costs Objective2016 | Matematicko-fyzikální fakulta
- Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding2017 | Matematicko-fyzikální fakulta
- Compact Representations of Cooperative Path-Finding as SAT Based on Matchings in Bipartite Graphs2014 | Matematicko-fyzikální fakulta
- Lessons Learned from the Effort to Solve Cooperative Path-Finding Optimally: Reductions to Propositional Satisfiability2014 | Matematicko-fyzikální fakulta
- Simple Direct Propositional Encoding of Cooperative Path Finding Simplified Yet More2014 | Matematicko-fyzikální fakulta
