Yves Deville 's Personal HomePage

Head of

Contact
Research
Teaching
Short biography
Others
Publications

Contact

Professor Yves Deville
Department of Computing Science and Engineering
Université catholique de Louvain
Place Sainte Barbe, 2
B-1348 Louvain-la-Neuve, Belgium
Phone: (++32) 10 47 20 67
Fax: (++32) 10 45 03 45
E-mail: Yves.Deville AT UCLouvain.be

Research Topics

Artificial intelligence
Constraint programming
Bioinformatics

Teaching

INGI 1123 Calculabilité (2007-2008) Y. Deville
INGI 2261 Artificial Intelligence : Knowledge and Representation (2007-2008) Y. Deville
INGI 2365 Constraint Programming (2007-2008) Y. Deville
INGI 2369 Séminar of artificial intelligence (2007-2008) Y. Deville
GBIO 2010 Bioinformatique (2007-2008) Y. Deville, M. Ghislain

Short Biography

I received an an undergraduate degree in computer science from the University of Namur (Belgium) in 1983 and a doctoral degree from the same university in 1987. I also spent one year at Syracuse University (USA), supported by a BAEF fellowship, where I got an MS degree in computer science in 1986. This I received the IBM Belgium Computer Science Award for my Ph.D. Thesis on logic program construction. From 1983 to 2001, my research were supported by the Belgium National Fund for Scientific Research. In 1991, I came to the Department of Computing Science and Enginnering of the Université catholique de Louvain in 1991, as a Professor. I became full Professor in 2001. From September 2002 to August 2003, I was in Sabbatical; I visited the Bioinformatics Research Centre (Department of Computing Science, University of Glasgow), and the Service de Conformation des Macromolécules Biologiques et de Bioinformatique (Université Libre de Bruxelles). During that year, I began research in bioinformatics, more particulalrly in the modelisation and the analysis of biochemical networks.
My current interest are now in Constraint Programming (CP), Constraint-Based Local Search (CBLS), and in Bioinformatics. More particularly, I am interested in graphs in CP and CBLS, global constraints, hybridation of CP and CBLS, constraints and bioinformatics, constraint-based methods for analyzing large biochemical networks, constraint-based methods for subgraph pattern matching, very large-scale neighborhood search techniques in CBLS, CP and CBLS approaches for scheduling.

Others

I am member of the Board of Directors of Technofutur TIC, Centre de Compétence en Technologie de l'Information et de la Communication, locate din Gosselies, Belgium.

I am also member of the Board of Directors of the Institut de la Francophonie pour l'Informatique (IFI), located in Hanoi (Vietnam). The IFI organizes Master in Computer Science, and is also a research laboratory. UCL students may spend a semester in IFI under the Mercator exchange program. Here is the personal experience of a student (pdf version, html version).

Publications

Books

DEVILLE Y.: Logic Programming: Systematic Program Development. International Series in Logic Programming, Addison-Wesley, 1990.
VAN HENTENRYCK P, LAURENT M., DEVILLE Y.: Numerica, A Modeling Language for Global Optimization. MIT Press, 1997.

2008

Pham Quang Dung, Y. Deville, P. Van Hentenryck. LS(Graph): Un cadre de recherche locale pour des problèmes d’optimisation sous contraintes sur des graphes. Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
P. Schaus, Y. Deville. Une contrainte globale de bin-packing avec précédences: Application au problème d’équilibrage de lignes d’assemblage. Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
S. Zampelli, M. Mann, Y. Deville, and R. Backofen. Techniques de Décomposition pour l’Isomorphisme de Sous-Graphe. Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
P. Schaus, Y. Deville, Hybridation de la programmation par contraintes et d’un voisinage à très grande taille pour Eternity II. Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
P. Schaus, Y. Deville, Hybridization of CP and VLNS for Eternity II. (English Version). Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes France, June 4-6, 2008.
P. Schaus, Y. Deville. A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem, AAAI-08, Twenty-Third AAAI Conference on Artificial Intelligence, Chicago,, 2008.
Y. Deville, S. Zampelli, G. Dooms. Combining Two Structured Domains for Modeling Various Graph Matching Problems. Recent Advances in Constraints, F. Fages, F. Rossi and S. Soliman (editors) Lecture Notes in Artificial Intelligence, Springer-Verlag, LNAI 5129, 2008.
S. Zampelli, M. Mann, Y. Deville, and R. Backofen. Decomposition techniques for subgraph matching. Technical Report INGI2008/03, Université catholique de Louvain, Computing Science and Engineering Department, January 2008.
S. Mouthuy, Y. Deville, P. Van Hentenryck. Toward a Generic Comet Implementation of Very Large-Scale Neighborhoods. 22nd national conference of the Belgian Operations Research Society, January 16--18, Brussels, p.64-65, 2008
P. Schaus, Y. Deville. Global Constraints for the Mean Absolute Deviation and the Variance: Application to the Vertical Line Balancing. 22nd national conference of the Belgian Operations Research Society, January 16-18, Brussels, p.15-16, 2008.

2007

Y. Deville, P. Dupont, G. Dooms, J.-N.Monette, P. Schaus, S. Wodak, S. Zampelli. BioEdge: a tool box for advanced analyses of biochemical networks. Benelux Bioinformatics Conference (BBC'07), November 12-13, Leuven, Belgium, 2007.
P. Schaus, Y. Deville and P. Dupont, Bound-Consistent Deviation Constraint, 13th International Conference on Principles and Practice of Constraint Programming (CP 2007), Providence, RI, USA, September 23-27, 2007.
S. Zampelli, Y. Deville, C. Solnon, S. Sorlin and P. Dupont, Filtering for Subgraph Matching, 13th International Conference on Principles and Practice of Constraint Programming (CP 2007), Providence, RI, USA, September 23-27, 2007.
S. Zampelli, Y. Deville, M. R. Saïdi, B. Benhamou. Symmetry Breaking in Subgraph Isomorphism. SymCon'07, the Seventh International Workshop on Symmetry and Constraint Satisfaction Problem. A Satellite Workshop of CP 2007 - September 23rd 2007 - Providence, RI, USA.
J.N. Monette, P. Schaus, S. Zampelli, Y. Deville, P. Dupont. A CP Approach to the Balanced Academic Curriculum Problem. SymCon'07, the Seventh International Workshop on Symmetry and Constraint Satisfaction Problem. A Satellite Workshop of CP 2007 - September 23rd 2007 - Providence, RI, USA.
Y. Deville, C. Lemer and S. Wodak. Representing and Analyzing Biochemical Networks Using BioMaze. In Introduction to System Biology, Sangdun Choi (Ed), Chapter 25, Humana Press, 2007.
S. Zampelli, Y. Deville, C. Solnon, S. Sorlin and P. Dupont, Filtrage pour l'isomorphisme de sous-graphe, Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France, June 4-6, pp. 285-296, 2007.
P. Schaus, Y. Deville and P. Dupont, La Contrainte Déviation, Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France, June 4-6, pp. 173-182, 2007.
J.-N. Monette, Y. Deville, and P. Dupont, Un propagateur basé sur les positions pour le problème d'Open-Shop, in Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France, pp. 255-264, June 4-6, 2007.
S. Mouthuy, Y. Deville, and G. Dooms, Contrainte globale pour le problème de recouvrement d’ensemble, in Journées Francophones de Programmation par Contraintes (JFPC'07), Rocquencourt, France, pp. 255-264, June 4-6, 2007.
P. Schaus, Y. Deville, P. Dupont and J.-C. Régin, The Deviation Constraint, 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2007), Brussels, Belgium, May 23-26, Lecture Notes in Computer Science, No. 4510, pp. 260-274, Springer, 2007.
J.-N. Monette, Y. Deville, and P. Dupont, A Position-Based Propagator for the Open-Shop Problem, 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2007), Brussels, Belgium, May 23-26, Springer, Lecture Notes in Computer Science, No. 4510, pp. 186-199, 2007.
P. Schaus, Y. Deville, P. Dupont and J.-C. Régin, Simplification and extension of the SPREAD Constraint, Trends in Constraint Programming, F. Benhamou, N. Jussien and B. O'Sullivan (Eds), pp. 95-99, ISTE Hermes, 2007.
S. Zampelli, Y. Deville and P. Dupont, Symmetry Breaking in Subgraph Pattern Matching, Trends in Constraint Programming, F. Benhamou, N. Jussien and B. O'Sullivan (Eds), Chapter 10, pp. 203-218, ISTE Hermes, 2007.

2006

S. Zampelli, Y. Deville, P. Dupont. Symmetry Breaking in Subgraph Pattern Matching, Sixth International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'06), Nantes, France, September 25, 2006.
P. Schaus, Y. Deville, P. Dupont, J.C. Régin. Simplification and extension of the SPREAD Constraint Third International Workshop on Constraint Propagation and Implementation, Nantes, France, Septembre 25, 2006.
S. Zampelli, Y. Deville, P. Dupont. Elimination des symétries pour l'appariement de graphes, Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC'06). Nîmes, France, June 7-9, pp. 357-367, 2006.
Luis Quesada, Peter Van Roy, Yves Deville, and Raphaël Collet. Using dominators for solving constrained path problems. In PADL 2006 Proceedings, Lecture Notes in Computer Science. Springer, 2006.
P. Dupont, J. Callut, G. Dooms, J-N. Monette, Y. Deville, Relevant subgraph extraction from random walks in a graph, Research Report UCL/FSA/INGI RR 2006-07, November 2006.

2005

G. Dooms, Y. Deville, P. Dupont, Constrained metabolic network analysis: discovering pathways using CP(Graph), Workshop on Constraint Based Methods for Bioinformatics, CP2005, Sitges (Barcelona), Spain, October 5, 2005.
S. Vast, P. Dupont and Y. Deville, Automatic extraction of relevant nodes in biochemical networks, Atelier Apprentissage et Bioinformatique, CAp 2005, Conférence d'Apprentissage, Nice, pp. 21-31, 2005.
G. Dooms, Y. Deville, P. Dupont, CP(Graph): Introducing a Graph Computation Domain in Constraint Programming. International Conference on Principles and Practice on Constraint Programming, Sitges, Barcelona, Spain, October 2005.
S. Zampelli, Y. Deville, P. Dupont, Approximate Constrained Subgraph Matching. International Conference on Principles and Practice on Constraint Programming, Sitges, Barcelona, Spain, October 2005.
Luis Quesada, Peter Van Roy, and Yves Deville. Speeding up constrained path solvers with a reachability propagator. In Colloquium on Implementation of Constraint and Logic Programming Systems(CICLOPS 2005), at the 11th International Conference on Principles and Practice of Constraint Programming (CP2005), 2005. Abstract published in CP 2005 Proceedings, Lecture Notes in Computer Science. Springer, 2005.
S. Zampelli, Y. Deville and P. Dupont, Declarative Approximate Graph Matching Using a Constraint Approach. Second International Workshop on Constraint Propagation and Implementation, CP2005, Sitges (Barcelona), Spain, October 1, 2005.
Y. Deville, G. Dooms, S. Zampelli and P. Dupont, CP(Graph+Map) for Approximate Graph Matching. 1st International Workshop on Constraint Programming Beyond Finite Integer Domains, CP2005, Sitges (Barcelona), Spain, October 1, 2005.
Luis Quesada, Peter Van Roy, and Yves Deville. Reachability: a constrained path propagator implemented as a multi-agent system. In CLEI2005 Proceedings, 2005.

2004

BASIN Basin, DEVILLE Yves , FLENER Pierre HAMFELT Andreas NILSSON Jorgen Fischer. "Synthesis of Programs in Computational Logic". In Program Development in Computational Logic (Maurice Bruynooghe and Kung-Kiu Lau Eds), Springer Verlag, LNCS Vol. 3049, pp 30-65, 2004 (preprint ps file) (preprint pdf file)
Y. Deville (2004). "CP(BioNet) : A Constraint Programming Framework for the Analysis of Biochemical Networks". Talk given at IRISA, Rennes, France, 68 December 2004. (slides pdf)
G. Dooms, Y. Deville, P. Dupont (2004), "A Mozart implementation of CP(BioNet)". In Proceedings of the second International Mozart/Oz Conference, Lecture Notes in Artficial Intelligence, No. 3389, Springer-Verlag, pp. 237-250, 2004. (preprint ps file) (preprint pdf file)
G. Dooms, Y. Deville, P. Dupont (2004). "Recherche de chemins contraints dans les réseaux biochimiques". Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, JFPLC 2004, June 2004. (preprint ps file) (preprint pdf file).
S. Zampelli, Y. Deville, P. Dupont (2004). "Finding Patterns in Biochemical Networks : a Constraint Programming Approach". In Proceedings of 5èmes Journées Ouvertes Biologie Informatique Mathématiques, JOBIM 2004, June 2004. (preprint ps file) (preprint pdf file)
G. Dooms, Y. Deville, P. Dupont (2004), "Constrained path finding in biochemical networks". In Proceedings of 5èmes Journées Ouvertes Biologie Informatique Mathématiques, JOBIM 2004, June 2004. (preprint ps file) (preprint pdf file)
Y. Deville (2004). "CLP(BioNet) : Towards a CLP framework for the analysis of Biochemical Networks". Invited talk SweConsNet 2004, Swedish Constraint Network workshop, Linköping 15 January 2004. (slides pdf)
C Lemer, E Antezana, F Couche, F Fays, X Santolaria, R Janky, Y Deville, J Richelle, S Wodak (2004). "The aMAZE LightBench : a Web interface to a relational database of cellular processes". Nucleic Acid Research, Database Issue, 2004. (abstract, full paper)
N. Tran Sy, Y. Deville : "COTTAGE: A Consistency Based System for Test Data Generation". Technical Report, UCL/INGI, November 2004, (preprint ps file) (preprint pdf file) (Tested C programs)

2003

Yves Deville, David Gilbert, Jacques van Helden and Shoshana Wodak (2003). "An Overview of Data Models for the Analysis of Biochemical Pathways", Briefings in Bioinformatics, 2003 4:3, pp 246-259, ISSN 1467-5463. (preprint ps file) (preprint pdf file).
Aik Choon Tan, David Gilbert and Yves Deville (2003). "Multi-class Protein Fold Classification using a New Ensemble Machine Learning Approach". Accepted in the 14th International Conference on Genome Informatics, GIW 2003 (preprint pdf file).
Aik Choon Tan, David Gilbert and Yves Deville (2003). "Integrative machine learning approach for multi-class SCOP protein fold classification". In the Proceedings of the German Conference on Bioinformatics (GCB 2003) H.-W.Mewes, D. Frishman, V. Heun and S. Kramer (editors) p. 153-159. ISBN 3-936-298-80-7. (preprint pdf file).
Yves Deville, David Gilbert, Christian Lemer, Jacques van Helden, Shoshana J. Wodak (2003). "An Object-Oriented Data Model for Signal Transduction". Poster in the Proccedings of the ECCB 2003 in conjunction with JOBIM 2003, Paris, France. C. Christophe, H.-P. Lenhof and M.-F. Sagot (editors), pp.241-242. ISBN: 2-7261-1257. (poster pdf file) (poster abstract pdf file)
Aik Choon Tan, Ali Al-Shahib, David Gilbert and Yves Deville (2003). "Learning sets of positive rules of amino acid properties to classify protein functional classes". Poster in the Proccedings of the ECCB 2003 in conjunction with JOBIM 2003, Paris, France. C. Christophe, H.-P. Lenhof and M.-F. Sagot (editors), pp.241-242. ISBN: 2-7261-1257. (poster pdf file) (poster abstract pdf file)
Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak (2003): "An Overview of Data Models for the Analysis of Biochemical Pathways". Computational Methods in Systems Biology: First International Workshop, CMSB 2003, Rovereto, Italy, February 24-26, 2003, Lecture Notes in Computer Science, Springer-Verlag Heidelberg, Volume 2602 / 2003 pp 174. (abstract ps file) (abstract pdf file).
Aik Choon Tan, David Gilbert and Yves Deville (2003). "Multi-class protein fold classification using an integrative machine learning approach" Poster in the Conference Program of the ISMB 2003, Brisbane, Australia. p.67. (poster pdf file) (poster abstract pdf file).
Tran Sy N. , Deville Y.: "Consistency Techniques for interprocedural Test Data Generation". Proceedings of the Joint 9th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundation of Software Engineering (ESEC/FSE03), Helsinki, Finland, 2003, (preprint ps file) (preprint pdf file).
Abstract also presented at the 15th Belgium-Netherlands Conference on Artificial Intelligence, BNAIC'03. (preprint ps file) (preprint pdf file).

Previous publications

JANSSEN M., VAN HENTENRYCK, P., DEVILLE Y.: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations. SIAM Journal on Numerical Analysis, 40(5): 1896-1939, 2002. (preprint ps file) (preprint pdf file)
DEVILLE Y., JANSSEN M., VAN HENTENRYCK P.: “Consistency Techniques for Ordinary Differential Equations”. CONSTRAINT, special issue based on CP'98, Vol 7 (3/4), pp 289-316, July/Octobre 2002. ( preprint ps file) (preprint pdf file)
MASSONET PH., DEVILLE Y., NÈVE C.: “From AOSE Methodology to Agent Implementation” First International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2002, pp 27-34 (paper)
TRAN SY N. , DEVILLE Y.: "Automatic Test Data Generation for Programs with Integer and Float Variables". Proceedings of the Automated Software Engineering Conference, San Diego, 2001, IEEE Computer Society, pp13-21, ISBN 0-7695-1426-X. (preprint ps file) (preprint pdf file)
JANSSEN M. , VAN HENTENRYCK, P., DEVILLE Y.: "A Constraint Satisfaction Approach to Parametric Differential Equations" IJCAI-01, Proceedings of the 22th International Joint Conference on Artificial Intelligence, Seattle, August 2001, Morgan Kaufmann publishers, 2001, ISBN 1-55860-777-3 (preprint ps file) (preprint pdf file)
JANSSEN M., VAN HENTENRYCK, P., DEVILLE Y.: "Optimal Pruning in Parametric Differential Equations". CP01, International Conference on Principles and Practice on Constraint Programming (Chyprus, November 2001), LNCS 2239, Springer Verlag, 2001, ISBN 3-540-42863-1. ( preprint ps file) (preprint pdf file)
VERMAUT F., DEVILLE Y., MACQ B. , MARICHAL X.: “A Distributed Adaptive Block Matching Algorithm : DIS-ABMA.”. Signal Processing : Image Communication, Vol. 16, n° 5 - Jan. 2001, pp. 431-444..
POUPAERT E., DEVILLE Y.: Acceptance driven selection: an approach to approximate global search strategies in local search and evolutionary algorithms. Proceedings of the Genetic and Evolutionary Computation Conference, Morgan Kaufmann, 2001, pp 1173-1180, ISBN 1-5586-0774-9. (preprint ps file) (preprint pdf file)
POUPAERT E., DEVILLE Y.: “Simulated Annealing with estimated temperature: a new efficient temperature schedule based on the notion of acceptance'”, AI Communications, The European Journal on Artificial Intelligence, Vol 13(1), 2000, pp 19-26.
JANSSEN M., DEVILLE Y., VAN HENTENRYCK P.: "Multistep Filtering Operators for Ordinary Differential Equations". International Conference on Principles and Practice on Constraint Programming, LNCS 1713, Springer Verlag, 1999, pp 246-260, ISBN 3-540-66626-5. ( preprint ps file) (preprint pdf file)
DEVILLE Y., BARETTE O., VAN HENTENRYCK P.: “Constraint Satisfaction over Connected Row-Convex Constraints”, Journal of Artificial Intelligence, Vol. 109, 1999, pp 243-271. (preprint ps file) (preprint pdf file)
DEVILLE Y., BOSSI A. Guest Editors of a Special Issue of The Journal of Logic Programming, on “Synthesis, Transformation and Analysis of Logic Programs”, 39(1-2) and 41(2-3), 1999.
DEVILLE Y., JANSSEN M., VAN HENTENRYCK P.: Consistency Techniques for Ordinary Differential Equations. Proceedings of the International Conference on Principles and Practice on Constraint Programming, LNCS 1520, Springer Verlag, 1998, pp 162-176, ISBN 3-540-65224-8. ( preprint ps file) (preprint pdf file)
NGUYEN T., DEVILLE Y.: “A Distributed Arc-Consistency Algorithm”, Science of Computer Programming, Vol 30, 27 pages, 1998. (preprint ps file) (preprint pdf file)
VERMAUT F., DEVILLE Y., MACQ B., MARICHAL X.: "A Distributed Adaptive Block Matching Algorithm : DIS-ABMA". EUSIPCO'98, IXth European Signal Processing Conference, Island of Rhodes, September 8-11, 1998, Proceedings, pp. 2049-2052, ISBN 960-7620-05-4.
VAN HENTENRYCK P., SARASWAT V., DEVILLE Y.: “The Design, Implementation, and Evaluation of the Constraint Language cc(FD) ”, Journal of Logic Programming, Special Issue on Constraint Logic Programming, 26 pages, Vol 37(1-3), October 1998. (preprint ps file) (preprint pdf file)
DEVILLE Y., BARETTE O., VAN HENTENRYCK P.: Constraint Satisfaction over Connected Row Convex Constraints. IJCAI-97, Proceedings of the 18th International Joint Conference on Artificial Intelligence, Japan, August 1997, Morgan Kaufmann publishers, pp 405-410. (preprint ps file) (preprint pdf file)
CHASSEUR E., DEVILLE Y.: Logic Program Schemas, Constraints and Semi-Unification. Logic Program Synthesis and Transformation 1997, LNCS 1463, Springer Verlag, 1998, pp 69-89, ISBN 3-540-65074-1. (preprint ps file) (preprint pdf file)
FLENER P., DEVILLE Y.: "Logic Program Transformation through Generalization Schemata". Logic Program Synthesis and Transformation 1997, LNCS 1048, Springer Verlag, 1996, pp 171-173, ISBN 3-540-60939-3 (paper)
DEVILLE Y. (Editor): Logic Program Synthesis and Transformation. Proceedings of Lopstr'93, Workshop in Computing, Springer-Verlag, 1994.
DEVILLE Y., LAU K.-K.: “Logic Program Synthesis”, Journal of Logic Programming, Special Issue on “Ten Years of Logic Programming”, Vol 19(4), pp 321-350, May/July 1994. (preprint ps file) (preprint pdf file)
LOMBART V., WIGGINS G., DEVILLE Y.: Guiding Synthesis Proofs. Logic Program Synthesis and Transformation 1993, Springer Verlag,1994, pp 67-81, ISBN 3-540-19864-4.
VAN HENTENRYCK P., DEVILLE Y.: “The Cardinality Operator: A New Logical Connective for Constraint Logic Programming”. In Constraint Logic Programming (A. Colmerauer, F Benhamou Eds.), MIT Press, Series in Logic Programming, 1993, Ch. 20, pp 383-404.
FLENER P., DEVILLE Y.: “Logic Programming from Incomplete Specification”, Journal of Symbolic Computation, Special Issue on “Automatic Programming”, Vol 15(5-6), May-June 1993, pp 775-805. (preprint ps file) (preprint pdf file)
FLENER P., DEVILLE Y.: “Synthesis of Composition and Discriminate Operators for Divide-and-Conquer Logic Programs”. In Constructing Logic Programs (J.-M. Jacquet Ed.), Wiley Professional Computing, 1993, Ch. 3, pp 67-96.
DEVILLE Y., VAN HENTENRYCK P.: “Construction of CLP Programs”. In Logic Programming: New Frontiers (D.R. Brough Ed.), Kluwe Academic Publishers, 1992, Ch. 5, pp 112-135.
FLENER P., DEVILLE Y.: Towards Stepwise, Schema-Guided Synthesis of Logic Programs. Logic Program Synthesis and Transformation 1992, Springer Verlag, 1992, pp 46-64.
VAN HENTENRYCK P., DEVILLE Y., TENG C-M.: “A Generic Arc Consistency Algorithm and its Specializations”, Journal of Artificial Intelligence, Vol. 57(2), October 1992, pp 291-321. (preprint ps file) (preprint pdf file)
DEVILLE Y., VAN HENTENRYCK P.: Efficient Arc Consistency Algorithms for a Class of CSP Problems. IJCAI-91, Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sidney, August 1991, Morgan Kaufmann publishers, pp 325-330.
VAN HENTENRYCK P., DEVILLE Y.: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. ICLP-91, Proceedings of the Eight International Conference on Logic Programming, Paris, June 1991, MIT Press, pp 745-759.
VAN HENTENRYCK P., DEVILLE Y.: Operational Semantics of Constraint Logic Programming over Finite Domains. PLILP-91, Proceedings of the International Symposium on Programming Language Implementation and Logic Programming, Passau, 19 pages, August 1991, Springer Verlag. (paper)
VAN HENTENRYCK P., SARASWAT V., DEVILLE Y. :"Constraint processing in cc(FD)". Technical report, Brown University, 1991. Unpublished (ps file) (pdf file)

The papers posted here are technical reports or preliminary versions of articles about to be published or published in journals or conference proceedings. See the cited journals or proceedings for the final versions and the copyright notices.