Yves Deville
Yves Deville
Professor of Computer Science, Université catholique de Louvain, ICTEAM, EPL
Verified email at uclouvain.be - Homepage
Title
Cited by
Cited by
Year
A generic arc-consistency algorithm and its specializations
P Van Hentenryck, Y Deville, CM Teng
Artificial intelligence 57 (2-3), 291-321, 1992
6241992
Numerica: a modeling language for global optimization
P Van Hentenryck, L Michel, Y Deville
MIT press, 1997
4291997
Design, implementation, and evaluation of the constraint language cc (FD)
P Van Hentenryck, V Saraswat, Y Deville
The Journal of Logic Programming 37 (1-3), 139-164, 1998
2661998
Logic programming: systematic program development
Y Deville
Addison-Wesley Longman Publishing Co., Inc., 1990
2631990
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming.
P Van Hentenryck, Y Deville
Brown University, Department of Computer Science, 1990
2001990
Constraint processing in cc (FD)
P Van Hentenryck, V Saraswat, Y Deville
Constraint Programming: Basics and Trends, A. Podelski (Ed.), LNCS 910, 1991
1811991
On the min-cost traveling salesman problem with drone
QM Ha, Y Deville, QD Pham, MH Ha
Transportation Research Part C: Emerging Technologies 86, 597-621, 2018
180*2018
Multi-class protein fold classification using a new ensemble machine learning approach
AC Tan, D Gilbert, Y Deville
Genome Informatics 14, 206-217, 2003
1432003
An overview of data models for the analysis of biochemical pathways
Y Deville, D Gilbert, J Van Helden, SJ Wodak
Briefings in bioinformatics 4 (3), 246-259, 2003
1392003
Design, implementation, and evaluation of the constraint language cc (FD)
P Van Hentenryck, V Saraswat, Y Deville
French School on Theoretical Computer Science, 293-316, 1994
1381994
Cp (graph): Introducing a graph computation domain in constraint programming
G Dooms, Y Deville, P Dupont
International Conference on Principles and Practice of Constraint …, 2005
1262005
Efficient arc consistency algorithm for a class of CSP problems
Y Deville, P Van Hentenryck
Brown University, Department of Computer Science, 1990
1241990
NeAT: a toolbox for the analysis of biological networks, clusters, classes and pathways
S Brohée, K Faust, G Lima-Mendez, O Sand, R Janky, G Vanderstocken, ...
Nucleic acids research 36 (suppl_2), W444-W451, 2008
1082008
A distributed arc-consistency algorithm
T Nguyen, Y Deville
Science of Computer Programming 30 (1-2), 227-250, 1998
981998
Solving subgraph isomorphism problems with constraint programming
S Zampelli, Y Deville, C Solnon
Constraints 15 (3), 327-353, 2010
892010
Logic program synthesis
Y Deville, KK Lau
The Journal of Logic Programming 19, 321-350, 1994
881994
The aMAZE LightBench: a web interface to a relational database of cellular processes
C Lemer, E Antezana, F Couche, F Fays, X Santolaria, R Janky, Y Deville, ...
Nucleic Acids Research 32 (suppl_1), D443-D448, 2004
852004
Synthesis of programs in computational logic
D Basin, Y Deville, P Flener, A Hamfelt, JF Nilsson
Program Development in Computational Logic, 30-65, 2004
612004
The deviation constraint
P Schaus, Y Deville, P Dupont, JC Régin
International Conference on Integration of Artificial Intelligence (AI) and …, 2007
592007
Consistency techniques in ordinary differential equations
Y Deville, M Janssen, P Van Hentenryck
International Conference on Principles and Practice of Constraint …, 1998
571998
The system can't perform the operation now. Try again later.
Articles 1–20