4 research outputs found
Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information
Problems affecting the transport of people or goods are plentiful in industry
and commerce and they also appear to be at the origin of much more complex
problems. In recent years, the logistics and transport sector keeps growing
supported by technological progress, i.e. companies to be competitive are
resorting to innovative technologies aimed at efficiency and effectiveness.
This is why companies are increasingly using technologies such as Artificial
Intelligence (AI), Blockchain and Internet of Things (IoT). Artificial
intelligence, in particular, is often used to solve optimization problems in
order to provide users with the most efficient ways to exploit available
resources. In this work we present an overview of our current research
activities concerning the development of new algorithms, based on CLP
techniques, for route planning problems exploiting the geometric information
intrinsically present in many of them or in some of their variants. The
research so far has focused in particular on the Euclidean Traveling
Salesperson Problem (Euclidean TSP) with the aim to exploit the results
obtained also to other problems of the same category, such as the Euclidean
Vehicle Routing Problem (Euclidean VRP), in the future.Comment: In Proceedings ICLP 2020, arXiv:2009.0915
Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
One promising trend in digital system integration consists of boosting
on-chip communication performance by means of silicon photonics, thus
materializing the so-called Optical Networks-on-Chip (ONoCs). Among them,
wavelength routing can be used to route a signal to destination by univocally
associating a routing path to the wavelength of the optical carrier. Such
wavelengths should be chosen so to minimize interferences among optical
channels and to avoid routing faults. As a result, physical parameter selection
of such networks requires the solution of complex constrained optimization
problems. In previous work, published in the proceedings of the International
Conference on Computer-Aided Design, we proposed and solved the problem of
computing the maximum parallelism obtainable in the communication between any
two endpoints while avoiding misrouting of optical signals. The underlying
technology, only quickly mentioned in that paper, is Answer Set Programming
(ASP). In this work, we detail the ASP approach we used to solve such problem.
Another important design issue is to select the wavelengths of optical
carriers such that they are spread across the available spectrum, in order to
reduce the likelihood that, due to imperfections in the manufacturing process,
unintended routing faults arise. We show how to address such problem in
Constraint Logic Programming on Finite Domains (CLP(FD)).
This paper is under consideration for possible publication on Theory and
Practice of Logic Programming.Comment: Paper presented at the 33nd International Conference on Logic
Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1,
2017. 16 pages, LaTeX, 5 figure
Modern techniques for constraint solving the CASPER experience
Dissertação apresentada para obtenção do
Grau de Doutor em Engenharia Informática,
pela Universidade Nova de Lisboa, Faculdade
de Ciências e TecnologiaConstraint programming is a well known paradigm for addressing combinatorial problems which has enjoyed considerable success for solving many relevant industrial and academic problems. At the heart of constraint programming lies the constraint solver, a computer program which attempts to find a solution to the problem, i.e. an assignment of all the variables in the problemsuch that all the constraints are satisfied.
This dissertation describes a set of techniques to be used in the implementation of a constraint solver. These techniques aim at making a constraint solver more extensible and efficient,two properties which are hard to integrate in general, and in particular within a constraint solver. Specifically, this dissertation addresses two major problems: generic incremental
propagation and propagation of arbitrary decomposable constraints. For both problemswe
present a set of techniques which are novel, correct, and directly concerned with extensibility and efficiency.
All the material in this dissertation emerged from our work in designing and implementing a generic constraint solver. The CASPER (Constraint Solving Platformfor Engineering and Research)solver does not only act as a proof-of-concept for the presented techniques, but also served as the common test platform for the many discussed theoretical models. Besides the work related to the design and implementation of a constraint solver, this dissertation also
presents the first successful application of the resulting platform for addressing an open research problem, namely finding good heuristics for efficiently directing search towards a solution