Petr Vilim  Petr Vilim photo       

contact information

Scientist, IBM CPLEX Optimization Studio

links


more information

More information:  CP Optimizer  |  CP Optimizer forum


2015

Failure-directed Search for Constraint-based Scheduling
Petr Vilim, Philippe Laborie, Paul Shaw
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 12th International Conference, CPAIOR 2015, Springer
Abstract


2011

Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources
Petr Vilim
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp. 230-245, Springer Berlin / Heidelberg, 2011


2009

Edge finding filtering algorithm for discrete cumulative resources in O(kn log n)
Petr Vilim
CP'09: Proceedings of the 15th international conference on Principles and practice of constraint programming, pp. 802--816, Springer-Verlag, 2009

Max Energy Filtering Algorithm for Discrete Cumulative Resources
Petr Vilim
CPAIOR '09: Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp. 294--308, Springer-Verlag, 2009


2007



2005

Computing Explanations for the Unary Resource Constraint
Petr Vilim
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, pp. 396-409, Springer

Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities
Petr Vilim, Roman Bartak, Ondrej Cepek
Contraints 10(4), 403--425, Kluwer Academic Publishers, 2005


2004

Unary Resource Constraint with Optional Activities
Petr Vilim, Roman Bartak, Ondrej Cepek
Principles and Pracitce of Constraint Programming - CP 2004, 10th International Confererence, CP 2004, Toronto, Canada, pp. 62--76, Springer

O(n log n) Filtering Algorithms for Unary Resource Constraint
Petr Vilim
Proceedings of CP-AI-OR 2004, pp. 335-347, Springer-Verlag


2002

Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times
Petr Vilim, Roman Bartak
Proceedings of the 6th International Conference on AI Planning and Scheduling, AIPS'02, pp. 312-321, The AAAI Press, 2002