#### Filter Results:

- Full text PDF available (117)

#### Publication Year

1989

2017

- This year (4)
- Last 5 years (33)
- Last 10 years (74)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Pascal Van Hentenryck, Yves Deville, Choh-Man Teng
- Artif. Intell.
- 1992

Consistency techniques have been studied extensively in the past as a way of tackling constraint satisfaction problems (CSP). In particular, various arc-consistency algorithms have been proposed, originating from Waltz's ltering algorithm [27] and culminating in the optimal algorithm AC-4 of Mohr and Henderson [16]. AC-4 runs in O(ed) in the worst case,… (More)

- Yves Deville
- International series in logic programming
- 1990

- Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
- Constraint Programming
- 1994

. This paper describes the design, implementation, and applications of the constraint logic language cc(FD). cc(FD) is a declarative nondeterministic constraint logic language over nite domains based on the cc framework [33], an extension of the CLP scheme [21]. Its constraint solver includes (non-linear) arithmetic constraints over natural numbers which… (More)

- Yves Deville, Olivier Barette, Pascal Van Hentenryck
- Artif. Intell.
- 1997

This paper studies constraint satisfaction over connected row-convex (CRC) constraints. It shows that CRC constraints are closed under composition, intersection, and transposition, the basic operations of path-consistency algorithms. This establishes that path consistency over CRC constraints produces a minimal and decomposable network and is thus a… (More)

Constraint logic programming languages such as CHIP have demonstrated the practicality of declar ative languages supporting consistency techniques and nondeterminism Nevertheless they su er from the black box e ect the programmer must work with a monolithic unmodi able inextensible constraint solver This problem can be overcome within the logically and… (More)

- Pascal Van Hentenryck, Yves Deville
- ICLP
- 1991

- Grégoire Dooms, Yves Deville, Pierre Dupont
- CP
- 2005

In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be translated to constrained subgraph finding. Our approach extends constraint programming by introducing CP(Graph), a new computation domain focused on graphs including a new type of variable:… (More)

- Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet
- PADL
- 2006

Constrained path problems have to do with finding paths in graphs subject to constraints. We present a constraint programming approach for solving the Ordered disjoint-paths problem (ODP), i.e., the Disjoint-paths problem where the pairs are associated with ordering constraints. In our approach, we reduce ODP to the Ordered simple path with mandatory nodes… (More)

- Aik Choon Tan, David Gilbert, Yves Deville
- Genome informatics. International Conference on…
- 2003

Protein structure classification represents an important process in understanding the associations between sequence and structure as well as possible functional and evolutionary relationships. Recent structural genomics initiatives and other high-throughput experiments have populated the biological databases at a rapid pace. The amount of structural data… (More)

- T. Nguyen, Yves Deville
- Sci. Comput. Program.
- 1998

Consistency techniques are an e cient way of tackling constraint satisfaction problems (CSP). In particular, various arc-consistency algorithms have been designed such as the time optimal AC-4 sequential algorithm of Mohr and Henderson [8]. In this paper, we present a new distributed arc-consistency algorithm, called DisAC-4. DisAC-4 is based on AC-4, and… (More)