Rui SA SHIBASAKI

21
Documents

Publications

Publications

Deposit thumbnail

Maximum Satisfiability Formulations for Nonlinear Integer Programming

Zhifei Zheng , Sami Cherif , Rui Sá Shibasaki , Chu-Min Li , Jialu Zhang

JELIA:European Conference on Logics in Artificial Intelligence, Sep 2025, Kutaisi, Georgia, France. pp.190-206, ⟨10.1007/978-3-032-04590-4_14⟩

Communication dans un congrès hal-05305189v1
Deposit thumbnail

Benders decomposition for robust balancing of production lines

Layth Kashou , André Rossi , Evgeny Gurevsky , Rui S. Shibasaki

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
Deposit thumbnail

Approche matheuristique pour la location de centres de soins et leurs services avec contraintes de capacité et gestion de pannes

Antonin Carpentier , Laure Brisoux Devendeville , Corinne Lucet , Rui Sa Shibasaki , Sami Cherif

ROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France

Communication dans un congrès hal-05534984v1
Deposit thumbnail

Exact Approaches for the Diverse Satisfiability Problem

Zhifei Zheng , Sami Cherif , Rui Sá Shibasaki , Chu-Min Li , Jialu Zhang

JELIA:European Conference on Logics in Artificial Intelligence, Sep 2025, Kutaisi, Georgia, France. pp.207-224, ⟨10.1007/978-3-032-04590-4_15⟩

Communication dans un congrès hal-05305175v1
Deposit thumbnail

Formulations MaxSAT pour la programmation non linéaire en nombres entiers

Zhifei Zheng , Sami Cherif , Rui Sá Shibasaki , Chu-Min Li , Jialu Zhang

Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France

Communication dans un congrès hal-05208053v1
Deposit thumbnail

Exact Approaches for the Diverse Satisfiability Problem

Zhifei Zheng , Sami Cherif , Rui Sá Shibasaki , Chu-Min Li , Jialu Zhang

European Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, France

Communication dans un congrès hal-05268883v1
Deposit thumbnail

Approche heuristique pour l'équilibrage de lignes d'assemblage avec minimisation du pic de consommation énergétique

Thiago G. Araujo , Zhifei Zheng , Matthieu Py , Sami Cherif , Rui Sá Shibasaki et al.

Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France

Communication dans un congrès hal-05208095v1
Deposit thumbnail

Maximum Satisfiability Formulations for Nonlinear Integer Programming

Zhifei Zheng , Sami Cherif , Rui Sá Shibasaki , Chu-Min Li , Jialu Zhang

European Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, Georgia

Communication dans un congrès hal-05268901v1
Deposit thumbnail

Problème du p-centre avec contraintes de capacité, stratification et gestion des pannes

Antonin Carpentier , Laure Brisoux-Devendeville , Corinne Lucet , Rui Sá Shibasaki , Sami Cherif

ROADEF 2025, Feb 2025, Paris, France

Communication dans un congrès hal-05001302v1
Deposit thumbnail

Stratified p-Center Problem with Capacity Constraints and Failure Foresight

Antonin Carpentier , Laure Brisoux-Devendeville , Corinne Lucet , Rui Sá Shibasaki , Sami Cherif

11th International Conference on Control, Decision and Information Technologies (CODiT), Jul 2025, Split, Croatia

Communication dans un congrès hal-05329643v1
Deposit thumbnail

Approches exactes pour le problème de satisfiabilité diversifiée

Zhifei Zheng , Sami Cherif , Rui Sá Shibasaki , Chu-Min Li

Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France

Communication dans un congrès hal-05208068v1
Deposit thumbnail

Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability

Zhifei Zheng , Sami Cherif , Rui Sá Shibasaki

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
Deposit thumbnail

Minimisation des pics d'énergie dans l'équilibrage des lignes d'assemblage par la Satisfiabilité Maximum

Zhifei Zheng , Sami Cherif , Rui Sá Shibasaki

Actes JFPC 2024, Jun 2024, Lens, France

Communication dans un congrès hal-04684888v1
Deposit thumbnail

Dantzig-Wolfe decomposition for robust balancing of a simple assembly line under uncertainty

Rui S. Shibasaki , André Rossi , Evgeny Gurevsky

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

Sensor location by joint entropy maximization

Rui S Shibasaki , Olivier Péton , François Queyroi , Maria Restrepo Ruiz

EURO ('Association of European Operational Research Societies ) 2022, Aug 2022, Espoo, Finland

Communication dans un congrès hal-03741385v1
Deposit thumbnail

A decision support tool to model freight transportation flows in city centers

Rui S. Shibasaki , Olivier Péton , François Queyroi , Maria-Isabel Restrepo

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
Deposit thumbnail

Estratégia bi-critério para um problema de escalabilidade em computação nas nuvens

Marco Túlio Reis Rodrigues , Rui Sá Shibasaki , Bruno Bachelet , Christophe Duhamel

XLVII Brazilian Symposium of Operational Research (SBPO), Aug 2015, Porto de Galinhas, Brazil. pp.360-371

Communication dans un congrès hal-01704248v1
Deposit thumbnail

Lagrangian Decomposition Methods for Large-Scale Fixed-Charge Capacitated Multicommodity Network Design Problem

Rui Sa Shibasaki

Networking and Internet Architecture [cs.NI]. Université Clermont Auvergne [2017-2020]; Universidade Federal de Minas Gerais, 2020. English. ⟨NNT : 2020CLFAC024⟩

Thèse tel-03076909v1