Nicolás Gálvez Ramírez

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Learning Scheme

Propositional Logic

Routing Problem

Waste Collection

Top Venues

Ann. Math. Artif. Intell.

Int. Trans. Oper. Res.

Publications

Roberto Díaz Urra, Nicolás Gálvez Ramírez, Carlos Castro
A framework for the generation of complex scenario instances in the Urban Transit Routing Problem. Ann. Math. Artif. Intell. 91 (2) (2023)
Roberto Díaz Urra, Carlos Castro, Nicolás Gálvez Ramírez
Towards Complex Scenario Instances for the Urban Transit Routing Problem. LION (2021)
Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro
Improving complex SMT strategies with learning. Int. Trans. Oper. Res. 27 (2) (2020)
Nicolás Gálvez Ramírez, Éric Monfroy, Frédéric Saubion, Carlos Castro
Optimizing SMT Solving Strategies by Learning with an Evolutionary Process. HPCS (2018)
Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion
Evolving SMT Strategies. ICTAI (2016)
Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion
Towards Automated Strategies in Satisfiability Modulo Theory. EuroGP (2016)