Approximations for boolean satisfiability (2025)
Source: Livro de Resumos. Conference titles: Encontro Brasileiro de Lógica. Unidade: IME
Subjects: ALGORITMOS DE APROXIMAÇÃO, PROGRAMAÇÃO LINEAR, APROXIMAÇÃO
ABNT
PEVIDOR, João Felipe Lobo e FINGER, Marcelo. Approximations for boolean satisfiability. 2025, Anais.. São Paulo: IME-USP, 2025. p. 159-160. Disponível em: https://repositorio.usp.br/directbitstream/f98968af-b1d3-4f29-98d3-d387e2d5e184/3257258.pdf. Acesso em: 21 jul. 2025.APA
Pevidor, J. F. L., & Finger, M. (2025). Approximations for boolean satisfiability. In Livro de Resumos (p. 159-160). São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/f98968af-b1d3-4f29-98d3-d387e2d5e184/3257258.pdfNLM
Pevidor JFL, Finger M. Approximations for boolean satisfiability [Internet]. Livro de Resumos. 2025 ; 159-160.[citado 2025 jul. 21 ] Available from: https://repositorio.usp.br/directbitstream/f98968af-b1d3-4f29-98d3-d387e2d5e184/3257258.pdfVancouver
Pevidor JFL, Finger M. Approximations for boolean satisfiability [Internet]. Livro de Resumos. 2025 ; 159-160.[citado 2025 jul. 21 ] Available from: https://repositorio.usp.br/directbitstream/f98968af-b1d3-4f29-98d3-d387e2d5e184/3257258.pdf