Petr Vilím

dblp:91/5349 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2026 Accelerating Constraint Programming Solver with Parallel External Heuristics: Experiments on Scheduling and Routing Problems
abstract
Constraint 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
CP5
2023 CP Solver Design for Maximum CPU Utilization (Invited Talk)
Petr Vilím
CP1
2015 Failure-Directed Search for Constraint-Based Scheduling
Petr Vilím, Philippe Laborie, Paul Shaw
CPAIOR1
2011 Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming
Michel P. Lefebvre, Jean-François Puget, Petr Vilím
CP3
2011 Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources
Petr Vilím
CPAIOR1
2009 Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n){\mathcal O}(kn {\rm log} n)
Petr Vilím
CP1
2009 Max Energy Filtering Algorithm for Discrete Cumulative Resources
Petr Vilím
CPAIOR1
2005 Computing Explanations for the Unary Resource Constraint
Petr Vilím
CPAIOR1
2004 Unary Resource Constraint with Optional Activities
Petr Vilím, Roman Barták, Ondrej Cepek
CP1
2004 O(n log n) Filtering Algorithms for Unary Resource Constraint
Petr Vilím
CPAIOR1
2003 Computing Explanations for Global Scheduling Constraints
Petr Vilím
CP1
2002 Batch Processing with Sequence Dependent Setup Times
Petr Vilím
CP1