Vincent Barichard

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 7

Top Topics

Constraint Solver

Constraint Handling Rules

Semantic Meaning

Top Venues

Rev. d'Intelligence Artif.

ICLP Technical Communications

Publications

Vincent Barichard
CHR++: An efficient CHR system in C++ with don't know non-determinism. Expert Syst. Appl. 238 (Part B) (2024)
Igor Stéphan, Vincent Barichard
Une sémantique opérationnelle pour les QCHR. JIAF (2022)
Claudia Vasconcellos-Gaete, Vincent Barichard, Frédéric Lardeux
Abacus: A New Hybrid Encoding for SAT Problems. ICTAI (2020)
Claudia Vasconcellos-Gaete, Vincent Barichard, Frédéric Lardeux
On the Use of CSP Semantic Information in SAT Models. Res. Comput. Sci. 148 (11) (2019)
Vincent Barichard, Igor Stéphan
Quantified Constraint Handling Rules. ICLP Technical Communications (2019)
Vincent Barichard, Igor Stéphan
Le problème de satisfaction de contraintes quantifiées et les jeux à deux joueurs à horizon fini : le projet QuaCode. Rev. d'Intelligence Artif. 31 (3) (2017)
Marouene Kefi, Paul Richard, Thuong N. Hoang, Takehiko Yamaguchi, Vincent Barichard
Using Constraint Solver for 3D Layout Assistance in Human-scale Virtual Environment. VISIGRAPP (2: HUCAPP) (2017)
Vincent Barichard, Igor Stéphan
The Cut Tool for QCSP. ICTAI (2014)
Marouene Kefi, Vincent Barichard, Paul Richard
A Constraint-Solver Based Tool for User-Assisted Interactive 3D Layout. ICTAI (2012)
Marouene Kefi, Paul Richard, Vincent Barichard
3D Interactive Objects Layout using Virtual Reality Techniques and Constraint Programming. GRAPP (2011)
Marouene Kefi, Paul Richard, Vincent Barichard
Interactive Configuration of Restricted Spaces using Virtual Reality and Constraint Programming Techniques. GRAPP (2010)
Vincent Barichard, Jin-Kao Hao
Recherche locale dichotomique pour la résolution des CSP continus. JFPLC (2004)
Vincent Barichard, Jin-Kao Hao
A Population and Interval Constraint Propagation Algorithm. EMO (2003)
Vincent Barichard, Jin-Kao Hao
Une approche hybride pour l'optimisation multi-objectif sous contraintes. JFPLC (2003)
Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion
Evolution + Adaptation = Résolution. JFPLC (2003)
Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion
A Hybrid Evolutionary Algorithm for CSP. Artificial Evolution (2003)
Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion
Évolution + Adaptation = Résolution. Tech. Sci. Informatiques 22 (1) (2003)
Vincent Barichard, Jin-Kao Hao
Une approche hybride pour l'optimisation multi-objectif sous contraintes. Tech. Sci. Informatiques 22 (1) (2003)