[图书][B] Handbook of constraint programming

F Rossi, P Van Beek, T Walsh - 2006 - books.google.com
Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Global constraints

WJ Van Hoeve, I Katriel - Foundations of Artificial Intelligence, 2006 - Elsevier
Publisher Summary This chapter provides an overview of global constraints. It discusses
different types of constraints, measures of filtering and different compromises between …

Computing leximin-optimal solutions in constraint networks

S Bouveret, M Lemaître - Artificial Intelligence, 2009 - Elsevier
In many real-world multiobjective optimization problems one needs to find solutions or
alternatives that provide a fair compromise between different conflicting objective functions …

A study of constraint programming heuristics for the car-sequencing problem

M Siala, E Hebrard, MJ Huguet - Engineering Applications of Artificial …, 2015 - Elsevier
In the car-sequencing problem, a number of cars have to be sequenced on an assembly line
respecting several constraints. This problem was addressed by both Operations Research …

[图书][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 …

Decompositions of all different, global cardinality and related constraints

C Bessiere, G Katsirelos, N Narodytska… - arXiv preprint arXiv …, 2009 - arxiv.org
We show that some common and important global constraints like ALL-DIFFERENT and
GCC can be decomposed into simple arithmetic constraints on which we achieve bound or …

Product and production process modeling and configuration

D Campagna, A Formisano - Fundamenta Informaticae, 2013 - content.iospress.com
Product configuration systems are an emerging technology that supports companies in
deploying mass customization strategies. Such strategies need to cover the management of …

The balance constraint family

C Bessiere, E Hebrard, G Katsirelos, Z Kiziltan… - Principles and Practice …, 2014 - Springer
The Balance constraint introduced by Beldiceanu ensures solutions are balanced. This is
useful when, for example, there is a requirement for solutions to be fair. Balance bounds the …

Quantum-accelerated global constraint filtering

KEC Booth, B O'Gorman, J Marshall, S Hadfield… - Principles and Practice …, 2020 - Springer
Motivated by recent advances in quantum algorithms and gate-model quantum computation,
we introduce quantum-accelerated filtering algorithms for global constraints in constraint …

Constraint-based graph matching

V Le Clément, Y Deville, C Solnon - Principles and Practice of Constraint …, 2009 - Springer
Measuring graph similarity is a key issue in many applications. We propose a new constraint-
based modeling language for defining graph similarity measures by means of constraints. It …