Rui Sa Shibasaki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2024–2026
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | NLIPSat: Satisfiability-Based Nonlinear Integer Programming Encoding Toolkit (Tool Paper). | Zhengling Yangli, Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu-Min Li |
| 2025 | CoDIT | Stratified p-Center Problem with Capacity Constraints and Failure Foresight. | Antonin Carpentier, Laure Brisoux Devendeville, Corinne Lucet, Rui Sa Shibasaki, Sami Cherif |
| 2025 | JELIA | Maximum Satisfiability Formulations for Nonlinear Integer Programming. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang |
| 2025 | JELIA | Exact Approaches for the Diverse Satisfiability Problem. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang |
| 2024 | ICTAI | Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki |