Demo Data from VLDB 2026 / reviewers in the wild / expert
Philip Kilby
dblp:66/5607 · also Phil Kilby
· DBLP profile ↗
23ranked-venue papers
4as first author
9since 2021 · last 2026
0000-0001-7349-1179ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 18 · 4 first-author · 4 since 2021Graphics, computer vision, multimedia, augmented reality and games · 9 · 4 first-author · 1 since 2021Software engineering, systems software and programming languages · 3 · 1 since 2021Computer networks · 2 · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 2 since 2021Theory of computation · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
4 papers |
Planning, search and constraint satisfaction · 95% Multi-agent systems · 5% | |
| Theoretical computer science
4 papers |
Mathematical optimization · 74% Automated reasoning and model checking · 12% Computational complexity · 8% | |
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Environmental and earth informatics · 100% |
Topics — the 15 heaviest of 16, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
heuristic search |
0.5 | 1 | 2021 | A Fast Exact Algorithm for the Resource Constrained Shortest Path Problem · AAAI 2021 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
constraint programming |
0.2 | 1 | 2016 | Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search · IJCAI 2016 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › multi-agent path finding
large neighborhood search |
0.2 | 1 | 2016 | Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search · IJCAI 2016 |
Environmental and earth informatics › conservation
conservation planning |
0.2 | 1 | 2016 | Intelligent Habitat Restoration Under Uncertainty · AAAI 2016 |
Mathematical optimization
constrained optimization |
0.2 | 1 | 2016 | Intelligent Habitat Restoration Under Uncertainty · AAAI 2016 |
Mathematical optimization
discrete optimization |
0.2 | 1 | 2016 | Intelligent Habitat Restoration Under Uncertainty · AAAI 2016 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
multi-agent path finding |
0.1 | 1 | 2011 | Solution Quality Improvements for Massively Multi-Agent Pathfinding · AAAI 2011 |
Knowledge, reasoning and agents › Multi-agent systems
multi-agent coordination |
0.1 | 1 | 2008 | Agent Coordination with Regret Clearing · AAAI 2008 |
Mathematical optimization
constraint programming |
0.1 | 1 | 2016 | Intelligent Habitat Restoration Under Uncertainty · AAAI 2016 |
Computational complexity
constraint satisfaction |
0.1 | 1 | 2016 | Intelligent Habitat Restoration Under Uncertainty · AAAI 2016 |
Algorithms and data structures
search algorithms |
0.1 | 1 | 2006 | Estimating Search Tree Size · AAAI 2006 |
Automated reasoning and model checking › satisfiability
backbone |
0.1 | 1 | 2005 | The Backbone of the Travelling Salesperson · IJCAI 2005 |
Mathematical optimization
combinatorial optimization |
0.1 | 1 | 2005 | The Backbone of the Travelling Salesperson · IJCAI 2005 |
Automated reasoning and model checking
satisfiability |
0.1 | 1 | 2005 | Backbones and Backdoors in Satisfiability · AAAI 2005 |
Mathematical optimization › combinatorial optimization › vehicle routing
traveling salesman problem |
0.1 | 1 | 2005 | The Backbone of the Travelling Salesperson · IJCAI 2005 |
Methods — techniques the papers use, named apart from their topics
large neighborhood search · 0.8constraint programming · 0.8heuristics · 0.5bidirectional a* · 0.5lower bound analysis · 0.1empirical evaluation · 0.1regret-based learning · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Efficient Energy-Optimal Path Planning for Electric Vehicles Considering Vehicle DynamicsabstractThe rapid adoption of electric vehicles (EVs) in modern transport systems has made energy-aware routing a critical task in their successful integration, especially within large-scale transport networks. In cases where an EV's remaining energy is limited and charging locations are not easily accessible, some destinations may only be reachable through an energy-optimal path: a route that consumes less energy than all other alternatives. The feasibility of such energy-efficient paths depends heavily on the accuracy of the energy model used for planning, and thus failing to account for vehicle dynamics can lead to inaccurate energy estimates, rendering some planned routes infeasible in reality. This paper explores the impact of vehicle dynamics on energy-optimal path planning for EVs. We first investigate how energy model accuracy influences energy-optimal pathfinding and, consequently, feasibility of planned trips, using a novel data-driven model that incorporates key vehicle dynamics parameters into energy calculations. Additionally, we introduce two novel online reweighting and energy heuristic functions that accelerate path planning with negative energy costs arise due to regenerative braking, making our approach well-suited for real-time applications. Extensive experiments on real-world transport networks demonstrate that our method significantly improves both the computational efficiency of energy-optimal pathfinding for EVs. Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby, Mahdi Jalili |
IEEE Trans. Intell. Transp. Syst. | 4 |
| 2025 | A Polynomial Time Solvable Capacitated Arc Routing Problem on Regular Grid GraphsabstractABSTRACT The general Capacitated Arc Routing Problem (CARP) is a well‐known optimization problem where a set of edges must be visited by a fleet of vehicles. It is known to be NP‐hard, meaning that it cannot in general be solved efficiently (unless ). This article introduces a polynomial‐time solvable special case of the CARP on regular grid graphs that arises in a practical application for routing of agrochemical‐spraying vehicles. Regular grid graphs are divided into two categories, single‐layer and multi‐layer. By utilizing mathematical insights, we are able to obtain optimal solutions and generate path patterns for both categories of grid graphs. Several theorems are presented to demonstrate the characteristics of the solution patterns under various conditions. These findings allow arbitrarily large‐scale problems of this type to be solved efficiently. It is also hoped that a deeper understanding of the regular grid graph case may form the basis for future research on approximation methods for irregular grid graphs. Andreas T. Ernst, Rodolfo García-Flores, Simon Bowly, Philip Kilby |
Networks | 5 |
| 2024 | Enhanced methods for the weight constrained shortest path problemabstractAbstract The classic problem of constrained pathfinding is a well‐studied, yet challenging, network optimization problem with a broad range of applications in various areas such as communication and transportation. The weight constrained shortest path problem (WCSPP), the base form of constrained pathfinding with only one side constraint, aims to plan a cost‐optimum path with limited weight/resource usage. Given the bi‐criteria nature of the problem (i.e., dealing with the cost and weight of paths), methods addressing the WCSPP have some common properties with bi‐objective search. This article leverages the recent state‐of‐the‐art techniques in both constrained pathfinding and bi‐objective search and presents two new solution approaches to the WCSPP on the basis of A* search, both capable of solving hard WCSPP instances on very large graphs. We empirically evaluate the performance of our algorithms on a set of large and realistic problem instances and show their advantages over the state‐of‐the‐art algorithms in both time and space metrics. This article also investigates the importance of priority queues in constrained search with A*. We show with extensive experiments on both realistic and randomized graphs how bucket‐based queues without tie‐breaking can effectively improve the algorithmic performance of exhaustive A*‐based bi‐criteria searches. Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby, Mahdi Jalili |
Networks | 4 |
| 2022 | Weight Constrained Path Finding with Bidirectional AabstractWeight constrained path finding, known as a challenging variant of the classic shortest path problem, aims to plan cost optimum paths whose weight/resource usage is limited by a side constraint. Given the bi-criteria nature of the problem (i.e., the presence of cost and weight), solutions to the Weight Constrained Shortest Path Problem (WCSPP) have some properties in common with bi-objective search. This paper leverages the state-of-the-art bi-objective search algorithm BOBA* and presents WC-BA*, an exact A*-based WCSPP method that explores the search space in different objective orderings bidirectionally. We also enrich WC-BA* with two novel heuristic tuning approaches that can significantly reduce the number of node expansions in the exhaustive search of A*. The results of our experiments on a large set of realistic problem instances show that our new algorithm solves all instances and outperforms the state-of-the-art WCSPP algorithms in various scenarios. Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
SOCS | 4 |
| 2022 | Swarm Foraging Under Communication and Vision UncertaintiesabstractSwarm foraging is a common test case application for multi-robot systems. In this paper RepAtt algorithm is used for improving coordination of a robot swarm by selectively broadcasting repulsion and attraction signals. This is a chemotaxis-inspired search behaviour where robots use the temporal gradients of these signals to navigate towards more advantageous areas. Hardware experiments were used to model and validate realistic, noisy sound communication and vision system. We then show through extensive simulation studies that RepAtt significantly improves swarm foraging time and robot efficiency under realistic communication and vision models.Note to Practitioners—This research developed a swarm foraging algorithm that takes into consideration the vision and communication sensing noise levels faced by robots in real world applications. The algorithm, known as RepAtt, was developed with the aim of emphasizing algorithmic simplicity and limiting the hardware requirements for the robots in the swarm. In this paper, we have focused on the problem of deploying swarm robots to forage litter in an environment such as a park. The communication model of the robots was based on the physics of sound, while their vision system was modelled using experiments with deep neural networks based object detectors. The results show that the RepAtt algorithm is robust to different distributions of targets (or litter) in the search space, exhibits good swarm efficiency with changes in swarm population and is robust to noise in its communication and vision systems. Apart from the RepAtt algorithm, other contributions made by this research include modelling of robot vision system to aid extensive study of the impact of communication and vision noise on swarm coordination. This will be relevant for extensive testing and validation before deployment to swarm robots hardware. The sound communication used in this research limits the kinds of environment the robots can be deployed in. Echoes within an enclosed environment and bandwidth limitation for communication frequency and public disturbance due to sound emitted by the robots can all contribute to this limitation. Thus, this research can be improved by investing in the development of a communication technology with similar physics. Other areas of improvement include adopting better obstacle avoidance algorithms and implementing suitable manipulators for handling litter objects. The algorithm can be extended to make it applicable for solving other problems such as search and rescue operations where foraging targets could be disaster survivors; demining and hazardous waste cleanup, where targets are the mines or waste material; and planetary exploration, where targets could be interesting features of the planets are the targets searched for by the robots. Simon O. Obute, Philip Kilby, Mehmet Remzi Dogar, Jordan H. Boyle |
IEEE Trans Autom. Sci. Eng. | 2 |
| 2021 | A Fast Exact Algorithm for the Resource Constrained Shortest Path ProblemabstractResource constrained path finding is a well studied topic in AI, with real-world applications in different areas such as transportation and robotics. This paper introduces several heuristics in the resource constrained path finding context that significantly improve the algorithmic performance of the initialisation phase and the core search. We implement our heuristics on top of a bidirectional A* algorithm and evaluate them on a set of large instances. The experimental results show that, for the first time in the context of constrained path finding, our fast and enhanced algorithm can solve all of the benchmark instances to optimality, and compared to the state of the art algorithms, it can improve existing runtimes by up to four orders of magnitude on large-size network graphs. Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
AAAI | 4 |
| 2021 | Vehicle Dynamics in Pickup-And-Delivery Problems Using Electric VehiclesabstractElectric Vehicles (EVs) are set to replace vehicles based on internal combustion engines. Path planning and vehicle routing for EVs need to take their specific characteristics into account, such as reduced range, long charging times, and energy recuperation. This paper investigates the importance of vehicle dynamics parameters in energy models for EV routing, particularly in the Pickup-and-Delivery Problem (PDP). We use Constraint Programming (CP) technology to develop a complete PDP model with different charger technologies. We adapt realistic instances that consider vehicle dynamics parameters such as vehicle mass, road gradient and driving speed to varying degrees. The results of our experiments show that neglecting such fundamental vehicle dynamics parameters can affect the feasibility of planned routes for EVs, and fewer/shorter charging visits will be planned if we use energy-efficient paths instead of conventional shortest paths in the underlying system model. Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
CP | 4 |
| 2021 | Bi-Objective Search with Bi-Directional AabstractBi-objective search is a well-known algorithmic problem, concerned with finding a set of optimal solutions in a two-dimensional domain. This problem has a wide variety of applications such as planning in transport systems or optimal control in energy systems. Recently, bi-objective A*-based search (BOA*) has shown state-of-the-art performance in large networks. This paper develops a bi-directional and parallel variant of BOA*, enriched with several speed-up heuristics. Our experimental results on 1,000 benchmark cases show that our bi-directional A* algorithm for bi-objective search (BOBA*) can optimally solve all of the benchmark cases within the time limit, outperforming the state of the art BOA*, bi-objective Dijkstra and bi-directional bi-objective Dijkstra by an average runtime improvement of a factor of five over all of the benchmark instances. Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
ESA | 4 |
| 2021 | Bi-Objective Search with Bi-directional A* (Extended Abstract)abstractBi-objective search is a problem of finding a set of optimal solutions in a two-dimensional domain. This study proposes several enhancements to the state-of-the-art bi-objective search with A* and develops its bi-directional variant. Our experimental results on benchmark instances show that our enhanced algorithm is on average five times faster than the state of the art bi-objective search algorithms. Saman Ahmadi, Guido Tack, Daniel Harabor, Philip Kilby |
SOCS | 4 |
| 2017 | Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing
Tommaso Urli, Philip Kilby |
CP | 2 |
| 2016 | Intelligent Habitat Restoration Under UncertaintyabstractConservation is an ethic of sustainable use of natural resources which focuses on the preservation of biodiversity, i.e., the degree of variation of life. Conservation planning seeks to reach this goal by means of deliberate actions, aimed at the protection (or restoration) of biodiversity features. In this paper we present an intelligent system to assist conservation managers in planning habitat restoration actions, with focus on the activities to be carried out in the islands of the Great Barrier Reef (QLD) and the Pilbara (WA) regions of Australia. In particular, we propose a constrained optimisation formulation of the habitat restoration planning (HRP) problem, capturing aspects such as population dynamics and uncertainty. We show that the HRP is NP-hard, and develop a constraint programming (CP) model and a large neighbourhood search (LNS) procedure to generate activity plans under budgeting constraints. Tommaso Urli, Jana Brotánková, Philip Kilby, Pascal Van Hentenryck |
AAAI | 3 |
| 2016 | Planning Habitat Restoration with Genetic AlgorithmsabstractConservation is an ethic of sustainable use of natural resources which focuses on the preservation of biodiversity. The term conservation planning encompasses the set of activities, typically carried out by conservation managers, that contribute to the attainment of this goal. Such activities can be preventive, such as the establishment of conservation reserves, or remedial, such as the displacement (or offsetting) of the species to be protected or the culling of invasive species. This last technique is often referred to as habitat restoration and, because of its lower impact on economic activities, is becoming more and more popular among conservation managers. In this paper we present the original formulation of the habitat restoration planning (HRP) problem, which captures some of the decisions and constraints faced by conservation managers in the context of habitat restoration. Example scenarios are drawn from the insular Great Barrier Reef (QLD) and Pilbara (WA) regions of Australia. In addition to the problem formulation, we describe an optimisation solver for the HRP, based on genetic algorithms (GAs), we discuss the preliminary results obtained by our solver, and we outline the current and future directions for the project. Jana Brotánková, Tommaso Urli, Philip Kilby |
GECCO | 3 |
| 2016 | Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search
Philip Kilby, Tommaso Urli |
IJCAI | 1 |
| 2016 | A Study of Proxies for Shapley Allocations of Transport CostsabstractWe survey existing rules of thumb, propose novel methods, and comprehensively evaluate a number of solutions to the problem of calculating the cost to serve each location in a single-vehicle transport setting. Cost to serve analysis has applications both strategically and operationally in transportation settings. The problem is formally modeled as the traveling salesperson game (TSG), a cooperative transferable utility game in which agents correspond to locations in a traveling salesperson problem (TSP). The total cost to serve all locations in the TSP is the length of an optimal tour. An allocation divides the total cost among individual locations, thus providing the cost to serve each of them. As one of the most important normative division schemes in cooperative games, the Shapley value gives a principled and fair allocation for a broad variety of games including the TSG. We consider a number of direct and sampling-based procedures for calculating the Shapley value, and prove that approximating the Shapley value of the TSG within a constant factor is NP-hard. Treating the Shapley value as an ideal baseline allocation, we survey six proxies for it that are each relatively easy to compute. Some of these proxies are rules of thumb and some are procedures international delivery companies use(d) as cost allocation methods. We perform an experimental evaluation using synthetic Euclidean games as well as games derived from real-world tours calculated for scenarios involving fast-moving goods; where deliveries are made on a road network every day. We explore several computationally tractable allocation techniques that are good proxies for the Shapley value in problem instances of a size and complexity that is commercially relevant. Haris Aziz 0001, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Mattei, Toby Walsh |
J. Artif. Intell. Res. | 4 |
| 2015 | Joint Vehicle and Crew Routing and Scheduling
Edward Lam 0001, Pascal Van Hentenryck, Philip Kilby |
CP | 3 |
| 2013 | CP Methods for Scheduling and Routing with Time-Dependent Task Costs
Elena Kelareva, Kevin Tierney, Philip Kilby |
CPAIOR | 3 |
| 2011 | Solution Quality Improvements for Massively Multi-Agent PathfindingabstractMAPP has been previously shown as a state-of-the-art multi-agent path planning algorithm on criteria including scalability and success ratio (i.e., percentage of solved units) on realistic game maps. MAPP further provides a formal characterization of problems it can solve, and low-polynomial upper bounds on the resources required. However, until now, MAPP's solution quality had not been extensively analyzed. In this work we empirically analyze the quality of MAPP's solutions, using multiple quality criteria such as the total travel distance, the makespan and the sum of actions (including move and wait actions). We also introduce enhancements that improve MAPP's solution quality significantly. For example, the sum of actions is cut to half on average. The improved MAPP is competitive in terms of solution quality with FAR and WHCA*, two successful algorithms from the literature, and maintains its advantages on different performance criteria, such as scalability, success ratio, and ability to tell apriori if it will succeed in the instance at hand. As optimal algorithms have limited scalability, evaluating the quality of the solutions provided by suboptimal algorithms is another important topic. Using lower bounds of optimal values, we show that MAPP's solutions have a reasonable quality. For example, MAPP's total travel distance is on average 19% longer than a lower bound on the optimal value. Ko-Hsin Cindy Wang, Adi Botea, Philip Kilby |
AAAI | 3 |
| 2011 | On Improving the Quality of Solutions in Large-Scale Cooperative Multi-Agent PathfindingabstractScaling up the number of simultaneously moving units in pathfinding problems to hundreds, or even thousands, is well beyond the capability of theoretically optimal algorithms in practice, which is consistent with existing intractability results. Significant scalability can be achieved by trading off solution optimality, which motivates evaluating the quality of suboptimal solutions, especially in instances much larger than can be handled by optimal algorithms. We consider pathfinding in uniform cost grid maps, and we study the solution quality using the three most common quality criteria, total travel distance, sum of actions, and makespan. We focus on MAPP, which has been shown as state-of-the-art in terms of scalability and success ratio (i.e., percentage of solved units) on realistic game grid maps. Until now, the quality of MAPP's solutions had not been as extensively analyzed. We introduced enhancements that significantly improve MAPP's solution quality. For example, its sum of actions is cut to half on average. MAPP becomes competitive in terms of solution quality with FAR and WHCA*, two successful algorithms from the literature. To evaluate the quality of suboptimal solutions in instances beyond the capability of optimal algorithms, we use lower bounds of optimal values to show our solutions have a reasonable quality. For example, MAPP's average total travel distance is 19 percent longer than the lower bound. Ko-Hsin Cindy Wang, Adi Botea, Philip Kilby |
SOCS | 3 |
| 2008 | Agent Coordination with Regret Clearing
Sven Koenig, Xiaoming Zheng, Craig A. Tovey, Richard B. Borie, Philip Kilby, Evangelos Markakis 0001, Pinar Keskinocak |
AAAI | 5 |
| 2006 | Estimating Search Tree Size
Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh |
AAAI | 1 |
| 2005 | Backbones and Backdoors in Satisfiability
Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh |
AAAI | 1 |
| 2005 | The Backbone of the Travelling Salesperson
Philip Kilby, John K. Slaney, Toby Walsh |
IJCAI | 1 |
| 2000 | Estimating the Hardness of Optimisation
John K. Slaney, Sylvie Thiébaux, Philip Kilby |
ECAI | 3 |