Výsledky vyhledávání - "Nicolas Galvez Ramirez"

Improving complex SMT strategies with learning

Autor: Frédéric Saubion, Nicolas Galvez Ramirez, Eric Monfroy, Carlos Castro

Publikováno v: International Transactions in Operational Research
International Transactions in Operational Research, Wiley, 2020, pp.1--25. ⟨10.1111/itor.12650⟩

On line; International audience; Satisfiability modulo theory (SMT) solving strategies are composed of various components and parameters that can dramatically affect the performance of an SMT solver. Each of these elements includes a huge amount of o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::183fecdb8971fe792e5028c259ed8dcc
https://hal.archives-ouvertes.fr/hal-02158110

Zobrazit plný text záznamu

Akademický článek

A Cyborg Walk for Urban Analysis? From Existing Walking Methodologies to the Integration of Machine Learning

Autor: Nicolás Valenzuela-Levi, Nicolás Gálvez Ramírez, Cristóbal Nilo, Javiera Ponce-Méndez, Werner Kristjanpoller, Marcos Zúñiga, Nicolás Torres

Publikováno v: Land, Vol 13, Iss 8, p 1211 (2024)

Although walking methodologies (WMs) and machine learning (ML) have been objects of interest for urban scholars, it is difficult to find research that integrates both. We propose a ‘cyborg walk’ method and apply it to studying litter in public sp

Externí odkaz: https://doaj.org/article/f7e6f556bf3a46ab83f8369dc2fb726f

Zobrazit plný text záznamu

Optimizing SMT Solving Strategies by Learning with an Evolutionary Process

Autor: Carlos Castro, Nicolas Galvez Ramirez, Eric Monfroy, Frédéric Saubion

Publikováno v: International Conference on High Performance Computing & Simulation : Pacos 2018
International Conference on High Performance Computing & Simulation : Pacos 2018, 2018, Orléans, France
HPCS

This paper deals with program optimization, i.e., learning of more efficient programs. The programs we want to improve are Z3 solving strategies. Z3 is a SMT (SAT Modulo Theory) solver which is currently developed by Microsoft Research. We define str

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc3413409fa0ae3a9329940a050e1e05
https://hal.univ-angers.fr/hal-02715060

Zobrazit plný text záznamu

Towards Automated Strategies in Satisfiability Modulo Theory

Autor: Nicolas Galvez Ramirez, Frédéric Saubion, Youssef Hamadi, Eric Monfroy

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319306674
EuroGP

SMT solvers include many heuristic components in order to ease the theorem proving process for different logics and problems. Handling these heuristics is a non-trivial task requiring specific knowledge of many theories that even a SMT solver develop

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c6fa6ca69e808de5719a128e8aedd8cd
https://doi.org/10.1007/978-3-319-30668-1_15

Zobrazit plný text záznamu

Evolving SMT Strategies

Autor: Frédéric Saubion, Nicolas Galvez Ramirez, Eric Monfroy, Youssef Hamadi

Publikováno v: 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose, United States
ICTAI

StratEVO is an evolutionary algorithm that aims at generating strategies for the SMT solver Z3. Solving SAT modulo theories instance requires to define complex combinations of solvers, heuristics and proof checking tools that require expert knowledge

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ea942e74df680d9de2aed3e5f05a7a2
https://hal.univ-angers.fr/hal-02709511

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání