Login / Signup
Análisis Dinámico Estructural de Satélite Educativo CanSat.
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
Published in:
Computación y Sistemas (2018)
Keyphrases
</>
satisfiability problem
sat solvers
sat problem
boolean satisfiability
search algorithm
sat instances
stochastic local search
phase transition
stochastic local search algorithms
propositional satisfiability
sat solving
max sat
backtracking search
modulo theories
ontology languages