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. . Acesso em: 06 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.NLM
Pevidor JFL, Finger M. Approximations for boolean satisfiability. Livro de Resumos. 2025 ; 159-160.[citado 2025 jul. 06 ]Vancouver
Pevidor JFL, Finger M. Approximations for boolean satisfiability. Livro de Resumos. 2025 ; 159-160.[citado 2025 jul. 06 ]