cs-conference-ranking.org Search 971 venues

Petr Vilm

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

3

Active years

2002–2026

Best venue rank

A

Where they publish

Papers

13 indexed papers, newest first.

Year	Venue	Title	Authors
2026	CP	Accelerating Constraint Programming Solver with Parallel External Heuristics: Experiments on Scheduling and Routing Problems.	Vilm Heinz, Simon Zvra, Vt Knobloch, Zdenek Hanzlek, Petr Vilm
2023	CP	CP Solver Design for Maximum CPU Utilization (Invited Talk).	Petr Vilm
2015	CPAIOR	Failure-Directed Search for Constraint-Based Scheduling.	Petr Vilm, Philippe Laborie, Paul Shaw
2011	CP	Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming.	Michel P. Lefebvre, Jean-Franois Puget, Petr Vilm
2011	CPAIOR	Timetable Edge Finding Filtering Algorithm for Discrete Cumulative Resources.	Petr Vilm
2009	CP	Edge Finding Filtering Algorithm for Discrete Cumulative Resources in	Petr Vilm
2009	CPAIOR	Max Energy Filtering Algorithm for Discrete Cumulative Resources.	Petr Vilm
2009	FlAIRS	Reasoning with Conditional Time-Intervals. Part II: An Algebraical Model for Resources.	Philippe Laborie, Jerome Rogerie, Paul Shaw, Petr Vilm
2005	CPAIOR	Computing Explanations for the Unary Resource Constraint.	Petr Vilm
2004	CP	Unary Resource Constraint with Optional Activities.	Petr Vilm, Roman Bartk, Ondrej Cepek
2004	CPAIOR	O(n log n) Filtering Algorithms for Unary Resource Constraint.	Petr Vilm
2003	CP	Computing Explanations for Global Scheduling Constraints.	Petr Vilm
2002	CP	Batch Processing with Sequence Dependent Setup Times.	Petr Vilm