Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par

Binary Fruit Fly Swarm Algorithms for the Set Covering Problem

 Broderick Crawford , Ricardo Soto , Hanns de la Fuente Mella , Claudio Elortegui , Wenceslao Palma , et al.
CMC-Computers, Materials & Continua, 2022, 71 (3), pp.4295-4318. ⟨10.32604/cmc.2022.023068⟩
Article dans une revue hal-03784857v1

Using graph-based models to understand transformation between CSP and SAT

 Vincent Barichard , Frédéric Lardeux , Claudia Vasconcellos-Gaete
19ème congrès annuel de la société française de recherche opérationnelle et d'aide à la décision (ROADEF), 2018, Lorient, France
Communication dans un congrès hal-04031269v1
Image document

Abacus: A New Hybrid Encoding for SAT Problems

 Claudia Vasconcellos-Gaete , Vincent Barichard , Frédéric Lardeux
2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2020, Baltimore, United States. pp.145-152, ⟨10.1109/ICTAI50040.2020.00033⟩
Communication dans un congrès hal-03385029v1
Image document

On the Use of CSP Semantic Information in SAT Models

 Claudia Vasconcellos-Gaete , Vincent Barichard , Frédéric Lardeux
18th Mexican International Conference on Artificial Intelligence (MICAI), Oct 2019, Xalapa, Mexico. pp.127
Communication dans un congrès hal-02445335v1
Page :