Linking Łukasiewicz logic and boolean maximum satisfiability (2023)
Preto, Sandro 
; Manyà, Felip ; Finger, Marcelo
Fonte: Proceedings. Nome do evento: International Symposium on Multiple-Valued Logic - ISMVL. Unidade: IME
Assuntos: COMPUTABILIDADE E COMPLEXIDADE, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRETO, Sandro e MANYÀ, Felip e FINGER, Marcelo. Linking Łukasiewicz logic and boolean maximum satisfiability. 2023, Anais.. Piscataway: IEEE, 2023. Disponível em: https://doi.org/10.1109/ISMVL57333.2023.00040. Acesso em: 07 out. 2025.APA
Preto, S., Manyà, F., & Finger, M. (2023). Linking Łukasiewicz logic and boolean maximum satisfiability. In Proceedings. Piscataway: IEEE. doi:10.1109/ISMVL57333.2023.00040NLM
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 out. 07 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040Vancouver
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 out. 07 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
