Vincent Barichard

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