Petr Vilím

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
CP Solver Design for Maximum CPU Utilization (Invited Talk).
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.
Constraints An Int. J., 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 <i>O</i>(<i>kn</i> log <i>n</i>){\mathcal O}(kn {\rm log} n).
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.
Constraints An Int. J., 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


  Loading...