Publications

Publications on HAL


49 documents

Articles dans une revue15 documents

  • 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ès21 documents

  • 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'ouvrage6 documents

  • 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 travail7 documents

  • 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⟩

Documents récupérés de l'archive ouverte HAL logo

Other Publications

Phil Duxbury, Carlile Lavor, Leo Liberti, Luiz de Salles-Neto, Unassigned distance geometry and molecular conformation problems, Journal of Global Optimization, accepted.

M. Pelegrín, C. D’Ambrosio, Aircraft deconfliction via Mathematical Programming: Review and insights, Transportation Science, accepted.

M. Cerulli, L. Liberti, Polynomial programming prevents aircraft (and other) conflicts, HAL open archives (hal-02971109-v2) 2021.

S. Haddad Vanier, L. Xu. Branch-and-Price for Energy Optimization in Wireless Multi-Hop Networks. Submitted to Networks International journal.

Gustavo Dias, Leo Liberti, Exploiting symmetries in mathematical programming via orbital independence, Annals of Operations Research, 298:149-182, 2021.

M. Cerulli, C. D’Ambrosio, L. Liberti, M. Pelegrín, Detecting and solving aircraft conflicts using bilevel programming, Journal of Global Optimization 1-29, 2021.

Ackooij, W., D’Ambrosio, C., Thomopulos, D., Trindade, R. S. , Decomposition and Shortest Path Problem Formulation for solving the Hydro Unit Commitment and Scheduling in a Hydro Valley. European Journal of Operational Research, 291(3): 935-943, 2021.

M Fliess, C Join, K Moussa, SM Djouadi, M Alsager, Preliminary in silico experiments: Towards new cancer treatments?, bioRxiv 2021

J Sliwak, M Anjos, L Létocart, E Traversi, A Semidefinite Optimization-based Branch-and-Bound Algorithm for Several Reactive Optimal Power Flow Problems, arXiv preprint arXiv:2103.13648, 2021

Khalife, S., Gonçalves, D., Allouah Y., and Liberti L., Further results on latent discourse models and word embeddings, HAL open archives (hal-02983109, v1), 2020.

Khalife, S., Gonçalves, D., and Liberti L., Distance geometry for word embeddings and applications, HAL open archives (hal-02892020, v1), 2020.

Claudia D’Ambrosio, Leo Liberti, Pierre-Louis Poirion, Ky Vu, Random projections for quadratic programs, Mathematical Programming B, 183:619-647, 2020.

G. Iommazzo, C. D’Ambrosio, A. Frangioni, L. Liberti, Learning to configure mathematical programming solvers by mathematical programming. In P. Pardalos, M. Brunato (Eds.), Learning and Intelligent Optimization (LION14), LNCS, 12096:377-389, Springer, New York, 2020.

D. Bienstock, M. Escobar, C. Gentile, and L. Liberti, Mathematical Programming formulations for the Alternating Current Optimal Power Flow problem, 4OR 18 (3): 249-292, 2020.

D. Bienstock and M. Escobar,Stochastic Defense Against Complex Grid Attacks, IEEE Transactions on Control of Network Systems 7 (2): 842-854, 2020

Leo Liberti, Distance Geometry and Data Science, TOP, 28:271-339, 2020.

J. Luedtke, C. D’Ambrosio, J. Linderoth, J. Schweiger. Strong convex nonlinear relaxations of the pooling problem, SIAM Journal on Optimization 30(2), 1582-1609, 2020

C. D’Ambrosio, S. Martello, M. Monaci. Lower and upper bounds for the non-linear generalized assignment problem, Computers & Operations Research 120, 104933, 2020

M Fliess, C Join, Data mining and time series segmentation via extrema: preliminary investigations, arXiv preprint arXiv:2009.09895, 2020

J Sliwak, E Andersen, MF Anjos, L Letocart, E Traversi, A Clique Merging Algorithm to Solve Semidenite Relaxations of Optimal Power Flow Problems, IEEE Transactions on Power Systems 1, 2020

F Furini, E Traversi, P Belotti, A Frangioni, A Gleixner, N Gould, L Liberti, …, QPLIB: a library of quadratic programming instances, Mathematical Programming Computation 11 (2), 237-265, 2019.

C D’Ambrosio, F Furini, M Monaci, E Traversi, On the product knapsack problem, Optimization Letters 12 (4), 691-712, 2018

F. Roda, Integrating high-level requirements in optimization problems: theory and applications. 4OR 12 (2), 199-200, 2014