Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Nicolás Gálvez Ramírez

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

> Home > Persons

Person information

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

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2018
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - phd/hal/Ramirez18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Ramirez18
Nicolás Sebastián Gálvez Ramírez:
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). Federico Santa María Technical University, Valparaíso, Chile, 2018

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/UrraRC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/UrraRC23
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-3): 153-175 (2023)
2020
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/itor/RamirezMSC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/itor/RamirezMSC20
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): 1162-1188 (2020)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/lion/UrraCR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lion/UrraCR21
Roberto Díaz Urra, Carlos Castro, Nicolás Gálvez Ramírez:
Towards Complex Scenario Instances for the Urban Transit Routing Problem. LION 2021: 80-97
2018
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/RamirezMS018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/RamirezMS018
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: 816-820
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/eurogp/RamirezHMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurogp/RamirezHMS16
Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion:
Towards Automated Strategies in Satisfiability Modulo Theory. EuroGP 2016: 230-245
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/RamirezHMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/RamirezHMS16
Nicolás Gálvez Ramírez, Youssef Hamadi, Éric Monfroy, Frédéric Saubion:
Evolving SMT Strategies. ICTAI 2016: 247-254

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.