Vincent Barichard

According to our database, Vincent Barichard authored at least 16 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

CHR++: An efficient CHR system in C++ with don't know non-determinism.

Vincent Barichard

Expert Syst. Appl., March, 2024

2022

Une sémantique opérationnelle pour les QCHR.

Igor Stéphan, Vincent Barichard

Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022

2020

Abacus: A New Hybrid Encoding for SAT Problems.

Claudia Vasconcellos-Gaete, Vincent Barichard, Frédéric Lardeux

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

2019

On the Use of CSP Semantic Information in SAT Models.

Claudia Vasconcellos-Gaete, Vincent Barichard, Frédéric Lardeux

Res. Comput. Sci., 2019

Quantified Constraint Handling Rules.

Vincent Barichard, Igor Stéphan

Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019

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

Using Constraint Solver for 3D Layout Assistance in Human-scale Virtual Environment.

Marouene Kefi, Paul Richard, Thuong N. Hoang, Takehiko Yamaguchi, Vincent Barichard

Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017) - Volume 2: HUCAPP, Porto, Portugal, February 27, 2017

2014

The Cut Tool for QCSP.

Vincent Barichard, Igor Stéphan

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2012

A Constraint-Solver Based Tool for User-Assisted Interactive 3D Layout.

Marouene Kefi, Vincent Barichard, Paul Richard

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

2011

3D Interactive Objects Layout using Virtual Reality Techniques and Constraint Programming.

Marouene Kefi, Paul Richard, Vincent Barichard

Proceedings of the GRAPP 2011, 2011

2010

Interactive Configuration of Restricted Spaces using Virtual Reality and Constraint Programming Techniques.

Marouene Kefi, Paul Richard, Vincent Barichard

Proceedings of the GRAPP 2010, 2010

2004

Recherche locale dichotomique pour la résolution des CSP continus.

Vincent Barichard, Jin-Kao Hao

Proceedings of the Programmation en logique avec contraintes, 2004

2003

Une approche hybride pour l'optimisation multi-objectif sous contraintes.

Vincent Barichard, Jin-Kao Hao

Tech. Sci. Informatiques, 2003

Évolution + Adaptation = Résolution.

Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion

Tech. Sci. Informatiques, 2003

A Population and Interval Constraint Propagation Algorithm.

Vincent Barichard, Jin-Kao Hao

Proceedings of the Evolutionary Multi-Criterion Optimization, 2003

A Hybrid Evolutionary Algorithm for CSP.

Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion

Proceedings of the Artificial Evolution, 2003