Follow
Petr Vilím
Petr Vilím
CoEnzyme
Verified email at vilim.eu - Homepage
Title
Cited by
Cited by
Year
IBM ILOG CP optimizer for scheduling: 20+ years of scheduling with constraints at IBM/ILOG
P Laborie, J Rogerie, P Shaw, P Vilím
Constraints 23, 210-250, 2018
3152018
Failure-directed search for constraint-based scheduling
P Vilím, P Laborie, P Shaw
Integration of AI and OR Techniques in Constraint Programming: 12th …, 2015
942015
Reasoning with conditional time-intervals. part ii: An algebraical model for resources
P Laborie, J Rogerie, P Shaw, P Vilím
Twenty-Second International FLAIRS Conference, 2009
882009
Timetable edge finding filtering algorithm for discrete cumulative resources
P Vilím
International Conference on AI and OR Techniques in Constriant Programming …, 2011
802011
O(nlog n) Filtering Algorithms for Unary Resource Constraint
P Vilím
Integration of AI and OR Techniques in Constraint Programming for …, 2004
772004
Edge finding filtering algorithm for discrete cumulative resources in
P Vilím
International Conference on Principles and Practice of Constraint …, 2009
732009
Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities
P Vilím, R Barták, O Čepek
Constraints 10, 403-425, 2005
602005
Unary resource constraint with optional activities
P Vilím, R Barták, O Čepek
Principles and Practice of Constraint Programming–CP 2004: 10th …, 2004
442004
Global constraints in scheduling
P Vilım
Charles University, 2007
432007
Max energy filtering algorithm for discrete cumulative resources
P Vilím
International Conference on Integration of Constraint Programming …, 2009
402009
Global constraints in scheduling
P Vilím
Univerzita Karlova, Matematicko-fyzikální fakulta, 2007
372007
Batch processing with sequence dependent setup times: New results
P Vilím
Proceedings of the 4th Workshop of Constraint Programming for Decision and …, 2002
202002
Filtering algorithms for batch processing with sequence dependent setup times
P Vilım, R Barták
Proceedings of the 6th International Conference on AI Planning and …, 2002
192002
Computing explanations for the unary resource constraint
P Vilím
International Conference on Integration of Artificial Intelligence (AI) and …, 2005
122005
Batch processing with sequence dependent setup times
P Vilím
International Conference on Principles and Practice of Constraint …, 2002
102002
Ilog cp optimizer: Detailed scheduling model and opl formulation
P Laborie, J Rogerie, P Shaw, P Vilim, F Wagner
Technical Report 08-002, ILOG, Tech. Rep., 2008
82008
Interval-based language for modeling scheduling problems: An extension to constraint programming
P Laborie, J Rogerie, P Shaw, P Vilím, F Katai
Algebraic Modeling Systems: Modeling and Solving Real World Optimization …, 2012
72012
A filtering algorithm sequence composition for batch processing with sequence dependent setup times
P Vilım, R Barták
Technical Report 2002/1, Charles University, Faculty of Mathematics and Physics, 2002
52002
Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming
MP Lefebvre, JF Puget, P Vilím
Principles and Practice of Constraint Programming–CP 2011: 17th …, 2011
32011
Filtering algorithms for the unary resource constraint
P Vilím
Archives of Control Sciences 18 (2), 159-202, 2008
22008
The system can't perform the operation now. Try again later.
Articles 1–20