VLDB 2026 Research / reviewers in the wild / expert
Petr Vilím
dblp:91/5349
· DBLP profile ↗
12ranked-venue papers
10as first author
2since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 12 · 10 first-author · 2 since 2021Software engineering, systems software and programming languages · 7 · 5 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Accelerating Constraint Programming Solver with Parallel External Heuristics: Experiments on Scheduling and Routing ProblemsabstractConstraint Programming (CP) is a powerful optimization method that provides optimality guarantees, but due to its exact nature, its scalability to large instances is often limited. To address this, we propose a hybrid approach that combines a CP solver with heuristic methods, directly and asynchronously exchanging solutions and objective values during runtime. The hybrid parallel configuration yields faster convergence to good solutions across various problem domains than the solver alone, while retaining the ability to guarantee optimality, leveraging the complementary nature of the CP solver and heuristics. The efficiency of this approach is evaluated on three well-known scheduling problems and three well-known routing problems. Noticeable improvements are observed for the Flow-shop Scheduling Problem (FSSP), the Traveling Salesman Problem (TSP), and the Vehicle Routing Problem with Time Windows (VRP-TW). Even for problems where improvements are marginal, the portfolio of methods increases the robustness of the approach. Vilém Heinz, Simon Zvára, Vít Knobloch, Zdenek Hanzálek, Petr Vilím |
CP | 5 |
| 2023 | CP Solver Design for Maximum CPU Utilization (Invited Talk)
Petr Vilím |
CP | 1 |
| 2015 | Failure-Directed Search for Constraint-Based Scheduling
Petr Vilím, Philippe Laborie, Paul Shaw |
CPAIOR | 1 |
| 2011 | Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming
Michel P. Lefebvre, Jean-François Puget, Petr Vilím |
CP | 3 |
| 2011 | Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources
Petr Vilím |
CPAIOR | 1 |
| 2009 | Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n){\mathcal O}(kn {\rm log} n)
Petr Vilím |
CP | 1 |
| 2009 | Max Energy Filtering Algorithm for Discrete Cumulative Resources
Petr Vilím |
CPAIOR | 1 |
| 2005 | Computing Explanations for the Unary Resource Constraint
Petr Vilím |
CPAIOR | 1 |
| 2004 | Unary Resource Constraint with Optional Activities
Petr Vilím, Roman Barták, Ondrej Cepek |
CP | 1 |
| 2004 | O(n log n) Filtering Algorithms for Unary Resource Constraint
Petr Vilím |
CPAIOR | 1 |
| 2003 | Computing Explanations for Global Scheduling Constraints
Petr Vilím |
CP | 1 |
| 2002 | Batch Processing with Sequence Dependent Setup Times
Petr Vilím |
CP | 1 |