Nicolás Gálvez Ramírez

Orcid: 0000-0002-8264-8534

Affiliations:
  • Federico Santa María Technical University, Valparaíso, Chile (PhD 2018)


According to our database1, Nicolás Gálvez Ramírez authored at least 9 papers between 2016 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Addressing Classic Constraint Satisfaction Problems Through Optimisation Modulo Theories.
Proceedings of the Optimization and Learning - 8th International Conference, 2025

Generalising the Team Orienteering problem through Multi-constraining and Multi-objectives.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2025

2023
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem.
Ann. Math. Artif. Intell., June, 2023

2021
Towards Complex Scenario Instances for the Urban Transit Routing Problem.
Proceedings of the Learning and Intelligent Optimization - 15th International Conference, 2021

2020
Improving complex SMT strategies with learning.
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).
PhD thesis, 2018

Optimizing SMT Solving Strategies by Learning with an Evolutionary Process.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

2016
Evolving SMT Strategies.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Towards Automated Strategies in Satisfiability Modulo Theory.
Proceedings of the Genetic Programming - 19th European Conference, 2016


  Loading...