Publicações em outros proceedings
-
SBPO 2026
Análise de Desempenho de Algoritmo Quântico de Fatoração em Simulador e Hardware Quântico Real
-
SBPO 2024
Jogos Partizan de Convexidade de Grafos
-
SBPO 2023
Problemas de Roteamento de Veículos com restrições temporais: formulação IP, método BCP via VRPsolver e casos polinomiais em grafos
-
SBPO 2023
Aplicando técnicas de programacão por restricões com raciocínio automático para verificação formal de software
-
SBPO 2023
Manipulação de cliques em processos de predição estrutural de moléculas complexas
Discussões Científicas de Qualidade
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:
