Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times. - Petr Vilím; Roman Barták (AIPS, 2002)

Batch Processing with Sequence Dependent Setup Times. - Petr Vilím (CP, 2002)

Computing Explanations for Global Scheduling Constraints. - Petr Vilím (CP, 2003)

Unary Resource Constraint with Optional Activities. - Petr Vilím; Roman Barták; Ondrej Cepek (CP, 2004)

O(n log n) Filtering Algorithms for Unary Resource Constraint. - Petr Vilím (CPAIOR, 2004)

Computing Explanations for the Unary Resource Constraint. - Petr Vilím (CPAIOR, 2005)

Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities. - Petr Vilím; Roman Barták; Ondrej Cepek (Constraints An Int. J., 2005)

Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n){ mathcal O}(kn { rm log} n). - Petr Vilím (CP, 2009)

Max Energy Filtering Algorithm for Discrete Cumulative Resources. - Petr Vilím (CPAIOR, 2009)

Reasoning with Conditional Time-Intervals. Part II: An Algebraical Model for Resources. - Philippe Laborie; Jerome Rogerie; Paul Shaw; Petr Vilím (FLAIRS, 2009)

Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming. - Michel P. Lefebvre; Jean-François Puget; Petr Vilím (CP, 2011)

Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources. - Petr Vilím (CPAIOR, 2011)

Failure-Directed Search for Constraint-Based Scheduling. - Petr Vilím; Philippe Laborie; Paul Shaw (CPAIOR, 2015)

IBM ILOG CP optimizer for scheduling - 20+ years of scheduling with constraints at IBM/ILOG. - Philippe Laborie; Jerome Rogerie; Paul Shaw; Petr Vilím (Constraints An Int. J., 2018)

CP Solver Design for Maximum CPU Utilization (Invited Talk). - Petr Vilím (CP, 2023)