1
|
Material Type: Artigo de Congresso
|
|
Benchmarking Łukasiewicz logic solvers with properties of neural networks
Sandro Preto Felip Manyà; Marcelo Finger; International Symposium on Multiple-Valued Logic - ISMVL (53. 2023 Matsue, Shimane, Japan)
Proceedings Piscataway : IEEE, 2023
Piscataway IEEE 2023
Localização:
IME - Inst. Matemática e Estatística
(PROD-3150067 )(Acessar)
|
2
|
Material Type: Artigo de Congresso
|
|
Linking Łukasiewicz logic and boolean maximum satisfiability
Sandro Preto Felip Manyà; Marcelo Finger; International Symposium on Multiple-Valued Logic - ISMVL (53. 2023 Matsue, Shimane, Japan)
Proceedings Piscataway : IEEE, 2023
Piscataway IEEE 2023
Localização:
IME - Inst. Matemática e Estatística
(PROD-3150069 )(Acessar)
|