Petr Vilím

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 2

Top Topics

Resource Allocation

Scheduling Problem

Directed Search

Top Venues

Constraints An Int. J.

Publications

Petr Vilím
CP Solver Design for Maximum CPU Utilization (Invited Talk). CP (2023)
Philippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilím
IBM ILOG CP optimizer for scheduling - 20+ years of scheduling with constraints at IBM/ILOG. Constraints An Int. J. 23 (2) (2018)
Petr Vilím, Philippe Laborie, Paul Shaw
Failure-Directed Search for Constraint-Based Scheduling. CPAIOR (2015)
Petr Vilím
Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources. CPAIOR (2011)
Michel P. Lefebvre, Jean-François Puget, Petr Vilím
Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming. CP (2011)
Philippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilím
Reasoning with Conditional Time-Intervals. Part II: An Algebraical Model for Resources. FLAIRS Conference (2009)
Petr Vilím
){\mathcal O}(kn {\rm log} n). CP (2009)
Petr Vilím
Max Energy Filtering Algorithm for Discrete Cumulative Resources. CPAIOR (2009)
Petr Vilím
Computing Explanations for the Unary Resource Constraint. CPAIOR (2005)
Petr Vilím, Roman Barták, Ondrej Cepek
) Filtering Algorithms for the Unary Resource Constraint to Optional Activities. Constraints An Int. J. 10 (4) (2005)
Petr Vilím, Roman Barták, Ondrej Cepek
Unary Resource Constraint with Optional Activities. CP (2004)
Petr Vilím
O(n log n) Filtering Algorithms for Unary Resource Constraint. CPAIOR (2004)
Petr Vilím
Computing Explanations for Global Scheduling Constraints. CP (2003)
Petr Vilím
Batch Processing with Sequence Dependent Setup Times. CP (2002)
Petr Vilím, Roman Barták
Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times. AIPS (2002)