Petr Vilím - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2023

CP Solver Design for Maximum CPU Utilization (Invited Talk)Petr Vilím. cp 2023: [doi]

2018

IBM ILOG CP optimizer for scheduling - 20+ years of scheduling with constraints at IBM/ILOGPhilippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilím. constraints, 23(2):210-250, 2018. [doi]

2015

Failure-Directed Search for Constraint-Based SchedulingPetr Vilím, Philippe Laborie, Paul Shaw. cpaior 2015: 437-453 [doi]

2011

Route Finder: Efficiently Finding k Shortest Paths Using Constraint ProgrammingMichel P. Lefebvre, Jean-François Puget, Petr Vilím. cp 2011: 42-53 [doi]

Timetable Edge Finding Filtering Algorithm for Discrete Cumulative ResourcesPetr Vilím. cpaior 2011: 230-245 [doi]

2009

Max Energy Filtering Algorithm for Discrete Cumulative ResourcesPetr Vilím. cpaior 2009: 294-308 [doi]

2005

Computing Explanations for the Unary Resource ConstraintPetr Vilím. cpaior 2005: 396-409 [doi]

Extension of ::::O::::(::::n:::: log ::::n::::) Filtering Algorithms for the Unary Resource Constraint to Optional ActivitiesPetr Vilím, Roman Barták, Ondrej Cepek. constraints, 10(4):403-425, 2005. [doi]

2004

O(n log n) Filtering Algorithms for Unary Resource ConstraintPetr Vilím. cpaior 2004: 335-347 [doi]

Unary Resource Constraint with Optional ActivitiesPetr Vilím, Roman Barták, Ondrej Cepek. cp 2004: 62-76 [doi]

2003

Computing Explanations for Global Scheduling ConstraintsPetr Vilím. cp 2003: 1000 [doi]

2002

Batch Processing with Sequence Dependent Setup TimesPetr Vilím. cp 2002: 764 [doi]

Filtering Algorithms for Batch Processing with Sequence Dependent Setup TimesPetr Vilím, Roman Barták. aips 2002: 312-321

Sign in or sign up to see more results.

runs on WebDSL