Petr Vilím

According to our database, Petr Vilím authored at least 15 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

CP Solver Design for Maximum CPU Utilization (Invited Talk).

Petr Vilím

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2018

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

2015

Failure-Directed Search for Constraint-Based Scheduling.

Petr Vilím, Philippe Laborie, Paul Shaw

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

2011

Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources.

Petr Vilím

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming.

Michel P. Lefebvre, Jean-François Puget, Petr Vilím

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2009

Reasoning with Conditional Time-Intervals. Part II: An Algebraical Model for Resources.

Philippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilím

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Max Energy Filtering Algorithm for Discrete Cumulative Resources.

Petr Vilím

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Edge Finding Filtering Algorithm for Discrete Cumulative Resources in <i>O</i>(<i>kn</i> log <i>n</i>){\mathcal O}(kn {\rm log} n).

Petr Vilím

Proceedings of the Principles and Practice of Constraint Programming, 2009

2005

Extension of <i>O</i>(<i>n</i> log <i>n</i>) Filtering Algorithms for the Unary Resource Constraint to Optional Activities.

Petr Vilím, Roman Barták, Ondrej Cepek

Constraints An Int. J., 2005

Computing Explanations for the Unary Resource Constraint.

Petr Vilím

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

2004

O(n log n) Filtering Algorithms for Unary Resource Constraint.

Petr Vilím

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

Unary Resource Constraint with Optional Activities.

Petr Vilím, Roman Barták, Ondrej Cepek

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Computing Explanations for Global Scheduling Constraints.

Petr Vilím

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Batch Processing with Sequence Dependent Setup Times.

Petr Vilím

Proceedings of the Principles and Practice of Constraint Programming, 2002

Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times.

Petr Vilím, Roman Barták

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002