|
|
Exact Approaches for the Diverse Satisfiability Problem
(s'ouvre dans un nouvel onglet)
Zhifei Zheng (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
,
Chu-Min Li (s'ouvre dans un nouvel onglet)
,
Jialu Zhang (s'ouvre dans un nouvel onglet)
Communication dans un congrès
hal-05305175v1
(s'ouvre dans un nouvel onglet)
|
|
|
Benders decomposition for robust balancing of production lines
(s'ouvre dans un nouvel onglet)
Layth Kashou (s'ouvre dans un nouvel onglet)
,
André Rossi (s'ouvre dans un nouvel onglet)
,
Evgeny Gurevsky (s'ouvre dans un nouvel onglet)
,
Rui S. Shibasaki (s'ouvre dans un nouvel onglet)
27th Congress of the French Society of Operations Research and Decision Aid (ROADEF 2026), Feb 2026, Tours, France
Communication dans un congrès
hal-05525199v1
(s'ouvre dans un nouvel onglet)
|
|
|
Approche matheuristique pour la location de centres de soins et leurs services avec contraintes de capacité et gestion de pannes
(s'ouvre dans un nouvel onglet)
Antonin Carpentier (s'ouvre dans un nouvel onglet)
,
Laure Brisoux Devendeville (s'ouvre dans un nouvel onglet)
,
Corinne Lucet (s'ouvre dans un nouvel onglet)
,
Rui Sa Shibasaki (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
ROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France
Communication dans un congrès
hal-05534984v1
(s'ouvre dans un nouvel onglet)
|
|
|
Locating and dimensioning medical units in underserved areas
(s'ouvre dans un nouvel onglet)
Klevi Maliqari (s'ouvre dans un nouvel onglet)
,
Corinne Lucet (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
ROADEF 2026, Feb 2026, Tours (FR), France
Communication dans un congrès
hal-05554995v1
(s'ouvre dans un nouvel onglet)
|
|
|
Maximum Satisfiability Formulations for Nonlinear Integer Programming
(s'ouvre dans un nouvel onglet)
Zhifei Zheng (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
,
Chu-Min Li (s'ouvre dans un nouvel onglet)
,
Jialu Zhang (s'ouvre dans un nouvel onglet)
Communication dans un congrès
hal-05305189v1
(s'ouvre dans un nouvel onglet)
|
|
|
Formulations MaxSAT pour la programmation non linéaire en nombres entiers
(s'ouvre dans un nouvel onglet)
Zhifei Zheng (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
,
Chu-Min Li (s'ouvre dans un nouvel onglet)
,
Jialu Zhang (s'ouvre dans un nouvel onglet)
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Communication dans un congrès
hal-05208053v1
(s'ouvre dans un nouvel onglet)
|
|
|
Exact Approaches for the Diverse Satisfiability Problem
(s'ouvre dans un nouvel onglet)
Zhifei Zheng (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
,
Chu-Min Li (s'ouvre dans un nouvel onglet)
,
Jialu Zhang (s'ouvre dans un nouvel onglet)
European Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, France
Communication dans un congrès
hal-05268883v1
(s'ouvre dans un nouvel onglet)
|
|
|
Problème du p-centre avec contraintes de capacité, stratification et gestion des pannes
(s'ouvre dans un nouvel onglet)
Antonin Carpentier (s'ouvre dans un nouvel onglet)
,
Laure Brisoux-Devendeville (s'ouvre dans un nouvel onglet)
,
Corinne Lucet (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
ROADEF 2025, Feb 2025, Paris, France
Communication dans un congrès
hal-05001302v1
(s'ouvre dans un nouvel onglet)
|
|
|
Maximum Satisfiability Formulations for Nonlinear Integer Programming
(s'ouvre dans un nouvel onglet)
Zhifei Zheng (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
,
Chu-Min Li (s'ouvre dans un nouvel onglet)
,
Jialu Zhang (s'ouvre dans un nouvel onglet)
European Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, Georgia
Communication dans un congrès
hal-05268901v1
(s'ouvre dans un nouvel onglet)
|
|
|
Approche heuristique pour l'équilibrage de lignes d'assemblage avec minimisation du pic de consommation énergétique
(s'ouvre dans un nouvel onglet)
Thiago G. Araujo (s'ouvre dans un nouvel onglet)
,
Zhifei Zheng (s'ouvre dans un nouvel onglet)
,
Matthieu Py (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
et al.
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Communication dans un congrès
hal-05208095v1
(s'ouvre dans un nouvel onglet)
|
|
|
Stratified p-Center Problem with Capacity Constraints and Failure Foresight
(s'ouvre dans un nouvel onglet)
Antonin Carpentier (s'ouvre dans un nouvel onglet)
,
Laure Brisoux-Devendeville (s'ouvre dans un nouvel onglet)
,
Corinne Lucet (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
Communication dans un congrès
hal-05329643v1
(s'ouvre dans un nouvel onglet)
|
|
|
Approches exactes pour le problème de satisfiabilité diversifiée
(s'ouvre dans un nouvel onglet)
Zhifei Zheng (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
,
Chu-Min Li (s'ouvre dans un nouvel onglet)
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Communication dans un congrès
hal-05208068v1
(s'ouvre dans un nouvel onglet)
|
|
|
Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability
(s'ouvre dans un nouvel onglet)
Zhifei Zheng (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2024, Herndon, United States. pp.363-370, ⟨10.1109/ICTAI62512.2024.00060⟩
Communication dans un congrès
hal-05017791v1
(s'ouvre dans un nouvel onglet)
|
|
|
Minimisation des pics d'énergie dans l'équilibrage des lignes d'assemblage par la Satisfiabilité Maximum
(s'ouvre dans un nouvel onglet)
Zhifei Zheng (s'ouvre dans un nouvel onglet)
,
Sami Cherif (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
Actes JFPC 2024, Jun 2024, Lens, France
Communication dans un congrès
hal-04684888v1
(s'ouvre dans un nouvel onglet)
|
|
|
Dantzig-Wolfe decomposition for robust balancing of a simple assembly line under uncertainty
(s'ouvre dans un nouvel onglet)
Rui S. Shibasaki (s'ouvre dans un nouvel onglet)
,
André Rossi (s'ouvre dans un nouvel onglet)
,
Evgeny Gurevsky (s'ouvre dans un nouvel onglet)
25th Congress of the French Society of Operations Research and Decision Aid (ROADEF 2024), Mar 2024, Amiens, France
Communication dans un congrès
hal-04451791v1
(s'ouvre dans un nouvel onglet)
|
|
|
Sensor location by joint entropy maximization
(s'ouvre dans un nouvel onglet)
Rui S Shibasaki (s'ouvre dans un nouvel onglet)
,
Olivier Péton (s'ouvre dans un nouvel onglet)
,
François Queyroi (s'ouvre dans un nouvel onglet)
,
Maria Restrepo Ruiz (s'ouvre dans un nouvel onglet)
EURO ('Association of European Operational Research Societies ) 2022, Aug 2022, Espoo, Finland
Communication dans un congrès
hal-03741385v1
(s'ouvre dans un nouvel onglet)
|
|
|
A decision support tool to model freight transportation flows in city centers
(s'ouvre dans un nouvel onglet)
Rui S. Shibasaki (s'ouvre dans un nouvel onglet)
,
Olivier Péton (s'ouvre dans un nouvel onglet)
,
François Queyroi (s'ouvre dans un nouvel onglet)
,
Maria-Isabel Restrepo (s'ouvre dans un nouvel onglet)
ROADEF 2022 : 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Communication dans un congrès
hal-03595211v2
(s'ouvre dans un nouvel onglet)
|
|
|
Estratégia bi-critério para um problema de escalabilidade em computação nas nuvens
(s'ouvre dans un nouvel onglet)
Marco Túlio Reis Rodrigues (s'ouvre dans un nouvel onglet)
,
Rui Sá Shibasaki (s'ouvre dans un nouvel onglet)
,
Bruno Bachelet (s'ouvre dans un nouvel onglet)
,
Christophe Duhamel (s'ouvre dans un nouvel onglet)
XLVII Brazilian Symposium of Operational Research (SBPO), Aug 2015, Porto de Galinhas, Brazil. pp.360-371
Communication dans un congrès
hal-01704248v1
(s'ouvre dans un nouvel onglet)
|