Gustavo Nunes Viana in Caderno de resumos do LVIII Simpósio Brasileiro de Pesquisa Operacional

UFSC - Universidade Federal de Santa Catarina

Gustavo Nunes Viana

Este é seu perfil? Faça login para acessar seus certificados

Constructing Cover-Free Families with SAT Solvers
VIANA, Gustavo Nunes ¹
IDALINO, Thaís Bardini ²
¹ UFSC - Universidade Federal de Santa Catarina
² Universidade Federal de Santa Catarina
Vol 57, 2025 -
340481

OD - Otimização Discreta

Trabalho completo (Oral)

Coautores(as) (1)

Thaís Bardini Idalino
1 publicação

Com ~200 mil publicações revisadas por pesquisadores do mundo todo, o Galoá impulsiona cientistas na descoberta de pesquisas de ponta por meio de nossa plataforma indexada.
Confira nossos produtos e como podemos ajudá-lo a dar mais alcance para sua pesquisa:

Saiba mais

SBPO 2026

Caderno de resumos do LVIII Simpósio Brasileiro de Pesquisa Operacional

Gustavo Nunes Viana

Constructing Cover-Free Families with SAT Solvers

Coautores(as) (1)

Thaís Bardini Idalino

Discussões Científicas de Qualidade