Menu

Filtros : "Probabilistic satisfiability" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Tese (Doutorado)

    Semantics modulo satisfiability with applications: function representation, probabilities and game theory (2021)

    Preto, Sandro Márcio da Silva ; Finger, Marcelo (Orientador)

    Unidade: IME

    Subjects: REDES NEURAIS, LÓGICA MATEMÁTICA

    Acesso à fonteAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PRETO, Sandro Márcio da Silva. Semantics modulo satisfiability with applications: function representation, probabilities and game theory. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/. Acesso em: 13 abr. 2026.

    • APA

      Preto, S. M. da S. (2021). Semantics modulo satisfiability with applications: function representation, probabilities and game theory (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

    • NLM

      Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2026 abr. 13 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

    • Vancouver

      Preto SM da S. Semantics modulo satisfiability with applications: function representation, probabilities and game theory [Internet]. 2021 ;[citado 2026 abr. 13 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-17062021-163257/

  • Artigo de periodico

    Probabilistic satisfiability: algorithms with the presence and absence of a phase transition (2015)

    Finger, Marcelo ; De Bona, Glauber

    Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME

    Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, REPRESENTAÇÃO DE CONHECIMENTO

    Acesso à fonteDOIHow to cite
    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: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence, v. 75, n. 3-4, p. 351-389, 2015Tradução . . Disponível em: https://doi.org/10.1007/s10472-015-9466-6. Acesso em: 13 abr. 2026.

    • APA

      Finger, M., & De Bona, G. (2015). Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence, 75( 3-4), 351-389. doi:10.1007/s10472-015-9466-6

    • NLM

      Finger M, De Bona G. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition [Internet]. Annals of Mathematics and Artificial Intelligence. 2015 ; 75( 3-4): 351-389.[citado 2026 abr. 13 ] Available from: https://doi.org/10.1007/s10472-015-9466-6

    • Vancouver

      Finger M, De Bona G. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition [Internet]. Annals of Mathematics and Artificial Intelligence. 2015 ; 75( 3-4): 351-389.[citado 2026 abr. 13 ] Available from: https://doi.org/10.1007/s10472-015-9466-6
  • 1

1 - 2 (2 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026