ReP USP - Resultado da busca

Trabalho de evento
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: 28 nov. 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.00040
NLM
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Vancouver
Preto S, Manyà F, Finger M. Linking Łukasiewicz logic and boolean maximum satisfiability [Internet]. Proceedings. 2023 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.1109/ISMVL57333.2023.00040
Artigo de periodico
Generalized probabilistic satisfiability through integer programming (2015)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Fonte: Journal of the Brazilian Computer Society. Unidades: EP, IME
Assuntos: RACIOCÍNIO PROBABILÍSTICO, COMPUTABILIDADE E COMPLEXIDADE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, v. 21, p. 14 , 2015Tradução . . Disponível em: https://doi.org/10.1186/s13173-015-0028-x. Acesso em: 28 nov. 2025.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2015). Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, 21, 14 . doi:10.1186/s13173-015-0028-x
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2025 nov. 28 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2025 nov. 28 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Trabalho de evento
Probabilistic satisfiability: logic-based algorithms and phase transition (2011)
Finger, Marcelo ; De Bona, Glauber
Fonte: Proceedings. Nome do evento: International Joint Conference on Artificial Intelligence - IJCAI. Unidade: IME
Assuntos: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, COMPUTABILIDADE E COMPLEXIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Probabilistic satisfiability: logic-based algorithms and phase transition. 2011, Anais.. Palo Alto: AAAI Press, 2011. Disponível em: https://doi.org/10.5555/2283396.2283483. Acesso em: 28 nov. 2025.
APA
Finger, M., & De Bona, G. (2011). Probabilistic satisfiability: logic-based algorithms and phase transition. In Proceedings. Palo Alto: AAAI Press. doi:10.5555/2283396.2283483
NLM
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.5555/2283396.2283483
Vancouver
Finger M, De Bona G. Probabilistic satisfiability: logic-based algorithms and phase transition [Internet]. Proceedings. 2011 ;[citado 2025 nov. 28 ] Available from: https://doi.org/10.5555/2283396.2283483

Unidades USP

ReP

Filtros