SAT e SMT solvers: fundamentos e aplicação ao problema de alocação de frequências (2019)
Unidade: EESCSubjects: ALGORITMOS, ENGENHARIA ELÉTRICA, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARVALHO, Yuri Castro Neo de. SAT e SMT solvers: fundamentos e aplicação ao problema de alocação de frequências. 2019. Trabalho de Conclusão de Curso (Graduação) – Escola de Engenharia de São Carlos, Universidade de São Paulo, São Carlos, 2019. Disponível em: https://bdta.abcd.usp.br/directbitstream/243e4a7e-cd01-41a1-a70b-723a55c666fd/Carvalho_Yuri_Castro_tcc.pdf. Acesso em: 26 abr. 2025.APA
Carvalho, Y. C. N. de. (2019). SAT e SMT solvers: fundamentos e aplicação ao problema de alocação de frequências (Trabalho de Conclusão de Curso (Graduação). Escola de Engenharia de São Carlos, Universidade de São Paulo, São Carlos. Recuperado de https://bdta.abcd.usp.br/directbitstream/243e4a7e-cd01-41a1-a70b-723a55c666fd/Carvalho_Yuri_Castro_tcc.pdfNLM
Carvalho YCN de. SAT e SMT solvers: fundamentos e aplicação ao problema de alocação de frequências [Internet]. 2019 ;[citado 2025 abr. 26 ] Available from: https://bdta.abcd.usp.br/directbitstream/243e4a7e-cd01-41a1-a70b-723a55c666fd/Carvalho_Yuri_Castro_tcc.pdfVancouver
Carvalho YCN de. SAT e SMT solvers: fundamentos e aplicação ao problema de alocação de frequências [Internet]. 2019 ;[citado 2025 abr. 26 ] Available from: https://bdta.abcd.usp.br/directbitstream/243e4a7e-cd01-41a1-a70b-723a55c666fd/Carvalho_Yuri_Castro_tcc.pdf
