[图书][B] Handbook of constraint programming
Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …
that draws on a wide range of techniques from artificial intelligence, computer science …
Constraint propagation
C Bessiere - Foundations of Artificial Intelligence, 2006 - Elsevier
Publisher Summary This chapter discusses that constraint reasoning involves various types
of techniques to tackle the inherent intractability of the problem of satisfying a set of …
of techniques to tackle the inherent intractability of the problem of satisfying a set of …
Global constraint catalogue: Past, present and future
Global Constraint Catalogue: Past, Present and Future Page 1 Constraints (2007) 12:21–62 DOI
10.1007/s10601-006-9010-8 Global Constraint Catalogue: Past, Present and Future Nicolas …
10.1007/s10601-006-9010-8 Global Constraint Catalogue: Past, Present and Future Nicolas …
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 …
different types of constraints, measures of filtering and different compromises between …
Automated reencoding of boolean formulas
We present a novel preprocessing technique to automatically reduce the size of Boolean
formulas. This technique, called Bounded Variable Addition (BVA), exchanges clauses for …
formulas. This technique, called Bounded Variable Addition (BVA), exchanges clauses for …
Counting-based search: Branching heuristics for constraint satisfaction problems
Designing a search heuristic for constraint programming that is reliable across problem
domains has been an important research topic in recent years. This paper concentrates on …
domains has been an important research topic in recent years. This paper concentrates on …
Global constraint catalog
N Beldiceanu, M Carlsson, JX Rampon - 2010 - diva-portal.org
This report presents a catalogue of global constraints where each constraint is explicitly
described in terms of graph properties and/or automata and/or first order logical formulae …
described in terms of graph properties and/or automata and/or first order logical formulae …
Bucket elimination for multiobjective optimization problems
E Rollón, J Larrosa - Journal of Heuristics, 2006 - Springer
Multiobjective optimization deals with problems involving multiple measures of performance
that should be optimized simultaneously. In this paper we extend bucket elimination (BE), a …
that should be optimized simultaneously. In this paper we extend bucket elimination (BE), a …
A hybrid constraint programming approach for nurse rostering problems
Due to the complexity of nurse rostering problems (NRPs), Constraint Programming (CP)
approaches on their own have shown to be ineffective in solving these highly constrained …
approaches on their own have shown to be ineffective in solving these highly constrained …
[PDF][PDF] Mistral, a constraint satisfaction library
E Hebrard - Proceedings of the Third International CSP Solver …, 2008 - academia.edu
Mistral, a constraint satisfaction library Page 39 Mistral, a Constraint Satisfaction Library
Emmanuel Hebrard Cork Constraint Computation Center & University College Cork Abstract …
Emmanuel Hebrard Cork Constraint Computation Center & University College Cork Abstract …