Login / Signup
Antonio Gómez Roa
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Propositional Satisfiability
Stochastic Local Search
Sat Solvers
Top Venues
Computación y Sistemas
</>
Publications
</>
Antonio Gómez Roa
,
Mauricio Leonel Paz González
,
Andrés Calvillo-Téllez
,
Juan Antonio Paz González
,
Oscar Adrián Morales Contreras
,
José-Cruz Nuñez Pérez
Análisis Dinámico Estructural de Satélite Educativo CanSat.
Computación y Sistemas
22 (2) (2018)