Quantum walk speedup of backtracking algorithms
A Montanaro - arxiv preprint arxiv:1509.02374, 2015 - arxiv.org
We describe a general method to obtain quantum speedups of classical algorithms which
are based on the technique of backtracking, a standard approach for solving constraint …
are based on the technique of backtracking, a standard approach for solving constraint …
Resolution methods for constraint satisfaction problem in remote sensing field: A survey of static and dynamic algorithms
Monitoring environmental evolutions, one of the most crucial axes on which sustainable
development is based, requires the knowledge of information on the observed geographical …
development is based, requires the knowledge of information on the observed geographical …
Generalized arc consistency algorithms for table constraints: A summary of algorithmic ideas
Constraint Programming is a powerful paradigm to model and solve combinatorial problems.
While there are many kinds of constraints, the table constraint (also called a CSP) is perhaps …
While there are many kinds of constraints, the table constraint (also called a CSP) is perhaps …
A recommender system for mobility-as-a-service plans selection
Transportation and mobility in smart cities are undergoing a grave transformation as new
ways of mobility are introduced to facilitate seamless traveling, addressing travelers' needs …
ways of mobility are introduced to facilitate seamless traveling, addressing travelers' needs …
Optimization of the rotational asymmetric parallel mechanism for hip rehabilitation with force transmission factors
W Zhang, W Zhang, X Ding… - Journal of …, 2020 - asmedigitalcollection.asme.org
An asymmetric three-degree-of-freedom parallel mechanism is adopted in rehabilitation
robots for assisting patients suffering from stroke or trauma in the hip. It is necessary to keep …
robots for assisting patients suffering from stroke or trauma in the hip. It is necessary to keep …
A hybrid knowledge-based recommender for product-service systems mass customization
Manufacturers today compete to offer not only products, but products accompanied by
services, which are referred to as product-service systems (PSSs). PSS mass customization …
services, which are referred to as product-service systems (PSSs). PSS mass customization …
[書籍][B] Bridging Constraint Satisfaction and Boolean Satisfiability
J Petke - 2015 - Springer
A wide range of problems can be formalized as a set of constraints that need to be satisfied.
In fact, such a model is called a constraint satisfaction problem (CSP). Another way to …
In fact, such a model is called a constraint satisfaction problem (CSP). Another way to …
Large neighbourhood search and simulation for disruption management in the airline industry
The airline industry is one of the most affected by operational disruptions, defined as
deviations from originally planned operations. Due to airlines network configuration, delays …
deviations from originally planned operations. Due to airlines network configuration, delays …
A trajectory calculus for qualitative spatial reasoning using answer set programming
Spatial information is often expressed using qualitative terms such as natural language
expressions instead of coordinates; reasoning over such terms has several practical …
expressions instead of coordinates; reasoning over such terms has several practical …
[HTML][HTML] Semiring programming: A semantic framework for generalized sum product problems
To solve hard problems, AI relies on a variety of disciplines such as logic, probabilistic
reasoning, machine learning and mathematical programming. Although it is widely accepted …
reasoning, machine learning and mathematical programming. Although it is widely accepted …