Nicolás Gálvez Ramírez

According to our database, Nicolás Gálvez Ramírez authored at least 7 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A framework for the generation of complex scenario instances in the Urban Transit Routing Problem.

Roberto Díaz Urra, Nicolás Gálvez Ramírez, Carlos Castro

Ann. Math. Artif. Intell., June, 2023

2021

Towards Complex Scenario Instances for the Urban Transit Routing Problem.

Roberto Díaz Urra, Carlos Castro, Nicolás Gálvez Ramírez

Proceedings of the Learning and Intelligent Optimization - 15th International Conference, 2021

2020

Improving complex SMT strategies with learning.

Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro

Int. Trans. Oper. Res., 2020

2018

A Framework for Autonomous Generation of Strategies in Satisfiability Modulo Theories. (Un cadre pour la génération autonome de stratégies dans la satisfiabilité modulo des théories).

Nicolás Sebastián Gálvez Ramírez

PhD thesis, 2018

Optimizing SMT Solving Strategies by Learning with an Evolutionary Process.

Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

2016

Evolving SMT Strategies.

Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Towards Automated Strategies in Satisfiability Modulo Theory.

Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion

Proceedings of the Genetic Programming - 19th European Conference, 2016