Petr Vilím

Joined

December 2023

Names

Petr Vilím (Preferred)

Emails

****@vilim.eu (Confirmed)

Personal Links

Homepage

Google Scholar

DBLP

Career & Education History

PhD student

Dept. of Theoretical Comp. Science, Charles University (ktiml.mff.cuni.cz)

2001 – 2007

Advisors, Relations & Conflicts

Coauthor

Zdeněk Hanzálek

2023 – Present

Coworker

Philippe Laborie

2006 – 2021

Coworker

Paul Shaw

2006 – 2021

Coworker

Philippe Refalo

2006 – 2021

Coworker

Renaud Dumeur

2006 – 2021

PhD Advisor

Roman Barták

2001 – 2007

Expertise

Constraint Programming

2001 – Present

Scheduling

2001 – Present

Publications

Reinforcement learning for search tree size minimization in Constraint Programming: New results on scheduling benchmarks
Petr Vilím, Zdenek Hanzalek, Vilém Heinz
- OpenReview Archive Direct Upload
- Readers: Everyone
CP Solver Design for Maximum CPU Utilization (Invited Talk)
Petr Vilím
- Published: 01 Jan 2023, Last Modified: 07 Dec 2023
- CP 2023
- Readers: Everyone
IBM ILOG CP optimizer for scheduling - 20+ years of scheduling with constraints at IBM/ILOG
Philippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilím
- Published: 01 Jan 2018, Last Modified: 07 Dec 2023
- Constraints An Int. J. 2018
- Readers: Everyone
Failure-Directed Search for Constraint-Based Scheduling
Petr Vilím, Philippe Laborie, Paul Shaw
- Published: 01 Jan 2015, Last Modified: 07 Dec 2023
- CPAIOR 2015
- Readers: Everyone
Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming
Michel P. Lefebvre, Jean-François Puget, Petr Vilím
- Published: 01 Jan 2011, Last Modified: 07 Dec 2023
- CP 2011
- Readers: Everyone
Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources
Petr Vilím
- Published: 01 Jan 2011, Last Modified: 07 Dec 2023
- CPAIOR 2011
- Readers: Everyone
Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n){\mathcal O}(kn {\rm log} n)
Petr Vilím
- Published: 01 Jan 2009, Last Modified: 07 Dec 2023
- CP 2009
- Readers: Everyone
Reasoning with Conditional Time-Intervals. Part II: An Algebraical Model for Resources
Philippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilím
- Published: 01 Jan 2009, Last Modified: 07 Dec 2023
- FLAIRS 2009
- Readers: Everyone
Max Energy Filtering Algorithm for Discrete Cumulative Resources
Petr Vilím
- Published: 01 Jan 2009, Last Modified: 07 Dec 2023
- CPAIOR 2009
- Readers: Everyone
Computing Explanations for the Unary Resource Constraint
Petr Vilím
- Published: 01 Jan 2005, Last Modified: 07 Dec 2023
- CPAIOR 2005
- Readers: Everyone

View all 16 publications

Petr Vilím

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Co-Authors