Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017)

Tipo Año Título Fuente
Ponencia2017On the Community Structure of Bounded Model Checking SAT ProblemsTHEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017)