A Hybrid Evolutionary Algorithm for CSP. - Vincent Barichard; Hervé Deleau; Jin-Kao Hao; Frédéric Saubion (Artificial Evolution, 2003)

A Population and Interval Constraint Propagation Algorithm. - Vincent Barichard; Jin-Kao Hao (EMO, 2003)

Évolution + Adaptation = Résolution. - Vincent Barichard; Hervé Deleau; Jin-Kao Hao; Frédéric Saubion (Tech. Sci. Informatiques, 2003)

Une approche hybride pour l'optimisation multi-objectif sous contraintes. - Vincent Barichard; Jin-Kao Hao (Tech. Sci. Informatiques, 2003)

Recherche locale dichotomique pour la résolution des CSP continus. - Vincent Barichard; Jin-Kao Hao (JFPLC, 2004)

Interactive Configuration of Restricted Spaces using Virtual Reality and Constraint Programming Techniques. - Marouene Kefi; Paul Richard; Vincent Barichard (GRAPP, 2010)

3D Interactive Objects Layout using Virtual Reality Techniques and Constraint Programming. - Marouene Kefi; Paul Richard; Vincent Barichard (GRAPP, 2011)

A Constraint-Solver Based Tool for User-Assisted Interactive 3D Layout. - Marouene Kefi; Vincent Barichard; Paul Richard (ICTAI, 2012)

The Cut Tool for QCSP. - Vincent Barichard; Igor Stéphan (ICTAI, 2014)

Using Constraint Solver for 3D Layout Assistance in Human-scale Virtual Environment. - Marouene Kefi; Paul Richard; Thuong N. Hoang; Takehiko Yamaguchi 002; Vincent Barichard (VISIGRAPP (2: HUCAPP), 2017)

Le problème de satisfaction de contraintes quantifiées et les jeux à deux joueurs à horizon fini : le projet QuaCode. - Vincent Barichard; Igor Stéphan (Rev. d'Intelligence Artif., 2017)

Quantified Constraint Handling Rules. - Vincent Barichard; Igor Stéphan (ICLP Technical Communications, 2019)

On the Use of CSP Semantic Information in SAT Models. - Claudia Vasconcellos-Gaete; Vincent Barichard; Frédéric Lardeux (Res. Comput. Sci., 2019)

Abacus: A New Hybrid Encoding for SAT Problems. - Claudia Vasconcellos-Gaete; Vincent Barichard; Frédéric Lardeux (ICTAI, 2020)

Une sémantique opérationnelle pour les QCHR. - Igor Stéphan; Vincent Barichard (JIAF, 2022)

CHR++: An efficient CHR system in C++ with don't know non-determinism. - Vincent Barichard (Expert Syst. Appl., 2024)