239 research outputs found
The Challenge of Unifying Semantic and Syntactic Inference Restrictions
While syntactic inference restrictions don't play an important role for SAT, they are an essential reasoning technique for more expressive logics, such as first-order logic, or fragments thereof. In particular, they can result in short proofs or model representations. On the other hand, semantically guided inference systems enjoy important properties, such as the generation of solely non-redundant clauses. I discuss to what extend the two paradigms may be unifiable
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
A bibliography on parallel and vector numerical algorithms
This is a bibliography of numerical methods. It also includes a number of other references on machine architecture, programming language, and other topics of interest to scientific computing. Certain conference proceedings and anthologies which have been published in book form are listed also
Lorentz Quantum Computer
A theoretical model of computation is proposed based on Lorentz quantum
mechanics. Besides the standard qubits, this model has an additional bit, which
we call hyperbolic bit (or hybit in short). A set of basic logical gates are
constructed and their universality is proved. As an application, a search
algorithm is designed for this computer model and is found to be exponentially
faster than the Grover's search algorithm
- …