Publications on HAL
49 documents
Articles dans une revue
- Leo Liberti, Benedetto Manca, Pierre-Louis Poirion. Random Projections for Linear Programming: An Improved Retrieval Phase. ACM Journal of Experimental Algorithmics, 2023, 28, pp.1-33. ⟨10.1145/3617506⟩. ⟨hal-04264551⟩
- Renan Spencer Trindade, Claudia d'Ambrosio, Antonio Frangioni, Claudio Gentile. Comparing perspective reformulations for piecewise-convex optimization. Operations Research Letters, 2023, 51 (6), pp.702-708. ⟨10.1016/j.orl.2023.11.003⟩. ⟨hal-03876920⟩
- Liding Xu, Claudia d'Ambrosio, Sonia Haddad Vanier, Emiliano Traversi. Branch and price for submodular bin packing. EURO Journal on Computational Optimization, 2023, 11 (100074), pp.arXiv:2204.00320v2. ⟨10.1016/j.ejco.2023.100074⟩. ⟨hal-04272674⟩
- Sammy Khalife, Douglas S Gonçalves, Leo Liberti. Distance geometry for word representations and applications. Journal of Computational Mathematics and Data Science, In press, 6, pp.100073. ⟨10.1016/j.jcmds.2022.100073⟩. ⟨hal-04185621⟩
- Leo Liberti, Gabriele Iommazzo, Carlile Lavor, Nelson Maculan. Cycle-based formulations in Distance Geometry. Open Journal of Mathematical Optimization, In press, 4, pp.1-16. ⟨10.5802/ojmo.18⟩. ⟨hal-04185620⟩
- Pedro Borges, Claudia Sagastizábal, Mikhail Solodov, Leo Liberti, Claudia D’ambrosio, et al.. Profit sharing mechanisms in multi-owned cascaded hydrosystems. Optimization and Engineering, In press, 24 (3), pp.2005-2043. ⟨10.1007/s11081-022-09764-x⟩. ⟨hal-03796096⟩
- Antoine Oustry, Marion Le Tilly, Thomas Clausen, Claudia d'Ambrosio, Leo Liberti. Optimal deployment of indoor wireless local area networks. Networks, 2023, 81 (1), pp.23-50. ⟨10.1002/net.22116⟩. ⟨hal-03306451⟩
- Daniel Förster, Leo Liberti, Antonio Mucherino, Jung-Hsin Lin, Thérèse E Malliavin, et al.. Low-resolution description of the conformational space for intrinsically disordered proteins. Scientific Reports, In press, ⟨10.1038/s41598-022-21648-9⟩. ⟨hal-03796134⟩
- Martina Cerulli, Antoine Oustry, Claudia d'Ambrosio, Leo Liberti. Convergent algorithms for a class of convex semi-infinite programs. SIAM Journal on Optimization, In press, 32 (4), pp.2493-2526. ⟨10.1137/21M1431047⟩. ⟨hal-03339887v2⟩
- Liding Xu, Sonia Haddad-Vanier. Branch-and-Price for Energy Optimization in Multi-Hop Wireless Networks. DOI:10.1002/net.22083. Networks, 2021. ⟨hal-03647113⟩
- Sammy Khalife, Douglas S Gonçalves, Youssef Allouah, Leo Liberti. Further results on latent discourse models and word embeddings. Journal of Machine Learning Research, 2021. ⟨hal-02983109⟩
- Renan Spencer Trindade, Olinto César Bassi de Araújo, Marcia Fampa. Arc-flow approach for single batch-processing machine scheduling. Computers and Operations Research, 2021, 134, pp.105394. ⟨10.1016/j.cor.2021.105394⟩. ⟨hal-03234783⟩
- Leo Liberti, Benedetto Manca. Side-constrained minimum sum-of-squares clustering: mathematical programming and random projections. Journal of Global Optimization, 2021, ⟨10.1007/s10898-021-01047-6⟩. ⟨hal-03395326⟩
- Fabio Furini, Amélie Lambert, Lucas Létocart, Leo Liberti, Emiliano Traversi. Preface: CTW 2018. Discrete Applied Mathematics, 2021, 296, pp.1. ⟨10.1016/j.dam.2021.03.022⟩. ⟨hal-03907993⟩
- Wim van Ackooij, Claudia d'Ambrosio, Dimitri Thomopulos, Renan Spencer Trindade. Decomposition and Shortest Path Problem Formulation for solving the Hydro Unit Commitment and Scheduling in a Hydro Valley. European Journal of Operational Research, 2020, ⟨10.1016/j.ejor.2020.12.029⟩. ⟨hal-03104377⟩
Communications dans un congrès
- Nabil Moncef Boukhatem, Davide Buscaldi, Leo Liberti. On syntactical graphs-of-words. Proceedings of Cologne-Twente Workshop on Graphs and Combinatorial Optimization, Andreas Brieden; Stefan Pickl; Markus Siegle, Jun 2023, Garmisch-Partenkirchen, Germany. ⟨hal-04185619⟩
- Simon B. Hengeveld, Thérèse E. Malliavin, Leo Liberti, Antonio Mucherino. Collecting Data for Generating Distance Geometry Graphs for Protein Structure Determination. ROADEF 2023 - congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide, Feb 2023, Rennes, France. ⟨hal-04006075⟩
- M.N. Boukhatem, Davide Buscaldi, Leo Liberti. Empirical comparison of semantic similarity measures for technical question answering. Advances in Databases and Information Systems (ADBIS22), Sep 2022, Torino, Italy. ⟨10.1007/978-3-031-15743-1_16⟩. ⟨hal-03795996⟩
- Leo Liberti, Benedetto Manca, Antoine Oustry, Pierre-Louis Poirion. Random projections for semidefinite programming *. AIRO-ODS 2022, Aug 2022, Florence, Italy. ⟨hal-03795941⟩
- Leo Liberti, Benedetto Manca, Pierre-Louis Poirion. Practical Performance of Random Projections in Linear Programming. Symposium on Experimental Algorithms, Jul 2022, Heidelberg, Germany. ⟨10.4230/LIPIcs.SEA.2022.21⟩. ⟨hal-03795867⟩
- Frederic Koriche, Christophe Lecoutre, Anastasia Paparrizou, Hugues Wattez. Best Heuristic Identification for Constraint Satisfaction. 31st International Joint Conference on Artificial Intelligence (IJCAI'22), Jul 2022, Vienne, Austria. pp.1859-1865, ⟨10.24963/ijcai.2022/258⟩. ⟨hal-03678354v2⟩
- Leo Liberti, Benedetto Manca, Pierre-Louis Poirion. Random projections for the distance geometry problem. Discrete Mathematics Days, Jul 2022, Santander, Spain. ⟨hal-03795960⟩
- Sonia Haddad-Vanier, Romain Wallon, Hugues Wattez. Exploring AI approaches to improve the resolution of unsplittable multicommodity flow problems in wireless networks. 39th Spanish Conference on Statistics and Operation Research (SEIO'22), Jun 2022, Grenade, Spain. ⟨hal-03647245⟩
- Sonia Haddad-Vanier, Romain Wallon, Hugues Wattez. Exploration des approches de l'IA pour renforcer la résolution des problèmes de multiflots entiers dans les réseaux énergétiques. 23e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'22), INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03597206⟩
- Simon Hengeveld, Therese Malliavin, Jung-Hsin Lin, Leo Liberti, Antonio Mucherino. A study on the impact of the distance types involved in protein structure determination by NMR. BIBM 2021 - IEEE International Conference on Bioinformatics and Biomedicine, Dec 2021, Houston, United States. pp.1-9. ⟨hal-03636295⟩
- Souhaib Attaiki, Gautam Pai, Maks Ovsjanikov. DPFM: Deep Partial Functional Maps. 3DV 2021 - The 9th International Conference on 3D Vision, Dec 2021, Virtual, United Kingdom. pp.175-185, ⟨10.1109/3dv53792.2021.00040⟩. ⟨hal-03938020⟩
- Liding Xu, Sonia Haddad-Vanier. MIP formulations for Energy Optimization in Multi-Hop Wireless Networks. PGMO Days EDF - Programme Gaspard Monge Pour l’optimisation, la recherche opérationnelle et leurs interactions avec les sciences des données, Nov 2021, Palaiseau, France. ⟨hal-03647678⟩
- Daniel Le Berre, Romain Wallon. On Dedicated CDCL Strategies for PB Solvers. 24th International Conference on Theory and Applications of Satisfiability Testing (SAT'21), Jul 2021, Barcelone (hybride), Spain. pp.315-331, ⟨10.1007/978-3-030-80223-3_22⟩. ⟨hal-03295263⟩
- Romain Wallon. On Improving the Backjump Level in PB Solvers. 12th International Workshop on Pragmatics of SAT (POS'21), Jul 2021, Barcelone (hybride), Spain. ⟨hal-03381688⟩
- Thibault Falque, Romain Wallon, Hugues Wattez. Metrics : Mission Expérimentations. 16es Journées Francophones de Programmation par Contraintes (JFPC’21), Jun 2021, Nice (en ligne), France. ⟨hal-03295285⟩
- Daniel Le Berre, Romain Wallon. Adaptation des stratégies des solveurs SAT CDCL aux solveurs PB natifs. 16es Journées Francophones de Programmation par Contraintes (JFPC'21), Jun 2021, Nice (en ligne), France. ⟨hal-03295266⟩
- Liding Xu, Sonia Haddad-Vanier, Claudia d'Ambrosio, Leo Liberti. Urbain Air Mobility: Optimal Location of Safety Landing Sites. Congrès annuel de la Société Française de Recherche Opérationnelle et d’Aide à la Décision, Apr 2021, Online, France. ⟨hal-03647687⟩
- Céline Gicquel, Sonia Haddad-Vanier, Alexandros Papadimitriou. A robust optimization approach for placing virtual network functions to counter cyberattacks in a 5G network. Congrès de la Société Française de Recherche Opérationnelle et Aide à la décision - ROADEF 2021, Apr 2021, online streaming, France. ⟨hal-03351046⟩
- Romain Wallon. Partitionnement d'Hypergraphes pour la Compilation de Formules Pseudo-Booléennes. 22e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'21), Apr 2021, Mulhouse (en ligne), France. ⟨hal-03295307⟩
- Liding Xu, Sonia Haddad-Vanier, Claudia d'Ambrosio, Leo Liberti. Optimal Location of Safety Landing Sites. European Conference on Operational Research, 2021, Athens, Greece. ⟨hal-03351011⟩
- Antonio Mucherino, Douglas Gonçalves, Leo Liberti, Jung-Hsin Lin, Carlile Lavor, et al.. MD-JEEP: a New Release for Discretizable Distance Geometry Problems with Interval Data. FedCSIS 2020 - 15th Conference on Computer Science and Information Systems, Sep 2020, Sofia, Bulgaria. pp.1-6. ⟨hal-03030154⟩
Chapitres d'ouvrage
- Renan Spencer Trindade, Claudia d'Ambrosio. Hydro Unit Commitment. Encyclopedia of Optimization, Springer International Publishing, pp.1-5, 2023, 978-3-030-54621-2. ⟨10.1007/978-3-030-54621-2_750-1⟩. ⟨hal-04050773⟩
- Renan Spencer Trindade, Claudia d'Ambrosio. A comparison of formulations for aircraft deconfliction. Numerical Computations: Theory and Algorithms. NUMTA 2023. Lecture Notes in Computer Science, In press. ⟨hal-04306373⟩
- Liding Xu, Claudia d'Ambrosio, Sonia Haddad-Vanier, François X. Sillion. Urban Air Mobility. Panos M. Pardalos and Oleg Prokopyev. Encyclopedia Of Optimization 3nd Edition, Springer, In press, ISBN: 978-0-387-74759-0. ⟨hal-03723027⟩
- Leo Liberti. Decoding noisy messages: a method that just shouldn't work. Data Science and Optimization, Communications Series on Data Science and Optimization, Fields Institute, Toronto, In press. ⟨hal-03795902⟩
- Leo Liberti. Continuous Reformulation of Binary Variables, Revisited. Mathematical Optimization Theory and Operations Research: Recent Trends, 1476, Springer International Publishing, pp.201-215, 2021, Communications in Computer and Information Science, ⟨10.1007/978-3-030-86433-0_14⟩. ⟨hal-03395333⟩
- Renan Spencer Trindade, Olinto de Araújo, Marcia Fampa. Arc-Flow Approach for Parallel Batch Processing Machine Scheduling with Non-identical Job Sizes. Combinatorial Optimization 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers, 12176, pp.179-190, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-53262-8_15⟩. ⟨hal-03104371⟩
Pré-publications, Documents de travail
- Suresh Bolusani, Mathieu Besançon, Ambros Gleixner, Timo Berthold, Claudia d'Ambrosio, et al.. The MIP Workshop 2023 Computational Competition on Reoptimization. 2023. ⟨hal-04314780⟩
- Liding Xu, Claudia d'Ambrosio, Leo Liberti, Sonia Haddad Vanier. On Cutting Planes for Signomial Programming. 2023. ⟨hal-03723024v2⟩
- Liding Xu, Claudia d'Ambrosio, Leo Liberti, Sonia Haddad-Vanier. On Cutting Planes for Signomial Programming. 2023. ⟨hal-03646663⟩
- Antoine Oustry, Matteo Tacchi. Minimal-time nonlinear control via semi-infinite programming. 2023. ⟨hal-04145402v2⟩
- Xu Liding, Claudia d'Ambrosio, Sonia Haddad-Vanier, Emiliano Traversi. Branch and Price for Sub-modular Bin Packing. 2022. ⟨hal-03646147⟩
- Liding Xu, Claudia d'Ambrosio, Sonia Vanier, Emiliano Traversi. Branch and Price for Sub-modular Bin Packing. 2022. ⟨hal-03646468⟩
- Maxime Dupuy, Claudia d'Ambrosio, Leo Liberti. Optimal paths on the ocean. 2021. ⟨hal-03404586⟩