Approximations for boolean satisfiability (2025)
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: ALGORITMOS DE APROXIMAÇÃO, PROGRAMAÇÃO LINEAR, APROXIMAÇÃO
ABNT
LOBO, João Felipe P. e FINGER, Marcelo. Approximations for boolean satisfiability. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 159-160. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 08 out. 2025.APA
Lobo, J. F. P., & Finger, M. (2025). Approximations for boolean satisfiability. In Book of abstracts (p. 159-160). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/viewNLM
Lobo JFP, Finger M. Approximations for boolean satisfiability [Internet]. Book of abstracts. 2025 ; 159-160.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/viewVancouver
Lobo JFP, Finger M. Approximations for boolean satisfiability [Internet]. Book of abstracts. 2025 ; 159-160.[citado 2025 out. 08 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view