Probabilistic satisfiability: algorithms with the presence and absence of a phase transition (2015)
- Authors:
- Autor USP: FINGER, MARCELO - IME
- Unidade: IME
- DOI: 10.1007/s10472-015-9466-6
- Subjects: INTELIGÊNCIA ARTIFICIAL; RACIOCÍNIO PROBABILÍSTICO; REPRESENTAÇÃO DE CONHECIMENTO
- Keywords: Probabilistic satisfiability; PSAT; Phase transition
- Language: Inglês
- Imprenta:
- Source:
- Título: Annals of Mathematics and Artificial Intelligence
- ISSN: 1573-7470
- Volume/Número/Paginação/Ano: v. 75, n. 3-4, p. 351-389, 2015
- Status:
- Artigo possui versão em acesso aberto em repositório (Green Open Access)
- Versão do Documento:
- Versão submetida (Pré-print)
- Acessar versão aberta:
-
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: 14 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. 14 ] 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. 14 ] Available from: https://doi.org/10.1007/s10472-015-9466-6 - Analytic methods for the logic of proofs
- Computational solutions for structural constraints: learning structural permissions in categorial grammar
- Sharing resource-sensitive knowledge using combinator logics
- Concurrency control for perceivedly instantaneous transactions in valid-time databases
- Advances in weighted logics for artificial intelligence. [Editorial]
- Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação
- Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]
- Electronic Notes in Theoretical Computer Science
- A logical reconstruction of temporal databases
- On the predictability of classical propositional logic
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
