# Petr Vilím

According to our database

Collaborative distances:

^{1}, Petr Vilím authored at least 14 papers between 2002 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

IBM ILOG CP optimizer for scheduling - 20+ years of scheduling with constraints at IBM/ILOG.

Constraints, 2018

2015

Failure-Directed Search for Constraint-Based Scheduling.

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

2011

Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources.

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.

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.

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

Max Energy Filtering Algorithm for Discrete Cumulative Resources.

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

*O*(*kn*log*n*){\mathcal O}(kn {\rm log} n).
Proceedings of the Principles and Practice of Constraint Programming, 2009

2005

Extension of

*O*(*n*log*n*) Filtering Algorithms for the Unary Resource Constraint to Optional Activities.
Constraints, 2005

Computing Explanations for the Unary Resource Constraint.

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.

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

Unary Resource Constraint with Optional Activities.

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Computing Explanations for Global Scheduling Constraints.

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Batch Processing with Sequence Dependent Setup Times.

Proceedings of the Principles and Practice of Constraint Programming, 2002

Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times.

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