This introductory chapter explains the motivation for develo** decision diagrams as a new
discrete optimization technology. It shows how decision diagrams implement the five main …

Abstract KS 0, Λ, Ξ, Ω and negative particle h− yields and transverse mass spectra,
measured at central rapidity in p-Pb and Pb-Pb collisions at 158 A GeV/c, are presented and …

Multi-valued decision diagrams (MDDs) were introduced into constraint programming over a
decade ago as a powerful alternative to domain propagation. While effective MDD …

The interpretation of complex scenes in images requires knowledge regarding the objects in
the scene and their spatial arrangement. We propose a method for simultaneously …

Multi-valued decision diagrams (MDDs) are a convenient approach to representing many
kinds of constraints including table constraints, regular constraints, complex set and multiset …

Abstract Binary Decision Diagram (BDD) based set bounds propagation is a powerful
approach to solving set-constraint satisfaction problems. However, prior BDD based …

Résumé Le cerveau présente une structure complexe. La segmentation et la
reconnaissance automatique de ses sous-structures dans des IRM cérébrales est délicate et …

This dissertation focuses on research for state-based Satisfiability (SAT), a variant of SAT
that uses state machines (Smurfs) to represent constraints. Using this constraint …

Combinatorial optimization problems require selecting the best solution from a discrete
(albeit often extremely large) set of possible candidates. These problems arise in a diverse …

Résumé L'interprétation de scènes complexes nécessite des connaissances sur les objets
constituant la scène et leur organisation spatiale. Dans ce cadre, nous proposons une …