Publications before 2003 / Christine SOLNON

Publications before 2003

2002

Ants Can Solve Constraint Satisfaction Problems
Christine Solnon
in IEEE Transactions on Evolutionary Computation - August 2002
Vol.6 - N°4 - pages 347-357
Abstract Full paper (postscript)
Boosting ACO with a Preprocessing Step
Christine Solnon
in Applications of Evolutionary Computing (EvoCOP 2002) - April 2002
Lecture Notes in Computer Science N°2279 - © Springer Verlag - pages 163-172
Abstract Full paper (postscript) Full paper (pdf)

2001

Boosting Local Search with Artificial Ants
Christine Solnon
in 7th International Conference on Principles and Practice of Constraint Programming (CP 2001) - November 2001
Lecture Notes in Computer Science N°2239 - Springer Verlag - pages 620-624 (short paper)
Full paper (pdf)
Dopage des algorithmes à base de fourmis par des techniques de fouille de données
Arnaud Stuber, Christine Solnon
in 7èmes Journées Nationales sur la résolution Pratique de problèmes NP-Complets (JNPC 2001) - Juin 2001
pages 271-282

2000

Solving Permutation Constraint Satisfaction Problems with Artificial Ants
Christine Solnon
in 14th European Conference on Artificial Intelligence (ECAI 2000) - August 2000
IOS Press - pages 118-122
Abstract Full paper (postscript)
Ant-P-solveur : un solveur de contraintes à base de fourmis artificielles
Christine Solnon
in 9èmes Journées Francophones sur la Programmation Logique et par Contraintes (JFPLC 2000) - Mai 2000
Editions Hermès - pages 189-204
Abstract Full paper (postscript)
A Generic Ant Algorithm for Solving Constraint Satisfaction Problems
Simone Pimont and Christine Solnon
in 2nd International Workshop on Ant Algorithms (ANTS 2000) - September 2000
Abstract

1998

1997

Concurrent Cooperating Solvers over Reals
Michel Rueher and Christine Solnon
International Journal of Reliable Computing - Vol. 3 - Nb 3 - October 97 - pages 325-333
Kluwer Academic Publishers
Abstract Full paper (pdf)
Cooperation of LP Solvers for Solving MILPs
Christine Solnon
in International Conference on Tools for Artificial Intelligence (ICTAI 97) - November 97
IEEE Computer Society Press - pages 240-247
Abstract Full paper (postscript)
Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers
Christine Solnon
in 6èmes Journées Francophones sur la Programmation Logique et par Contraintes (JFPLC 97)
Editions Hermès - pages 211-225
Abstract Full paper (postscript)

1995

1994

Propagation of inter-argument dependencies in tuple-distributive type inference systems

Inférence de contraintes ensemblistes à partir de programmes Prolog: application à la déduction de relations d'héritage

1993

Extracting inheritance hierarchies from Prolog programs: a system based on the inference of type relations

Inférence de types en Prolog: traitement des prédicats génériques par dépliage

Un système d'inférence de relations inter-types pour Prolog
-- Application à la génération de modèles objets --
february 93 - 161 pages
PHD Thesis / Mémoire de thèse de doctorat

1992

Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types

Inference of inheritance relationships from Prolog programs: a system developed with PrologIII

1991