Uma conjectura refutada sobre satisfazibilidade probabilística (2009)
- Authors:
- USP affiliated authors: FINGER, MARCELO - IME ; BONA, GLAUBER DE - EP
- Unidades: IME; EP
- Assunto: PROGRAMAÇÃO MATEMÁTICA
- Language: Português
- Imprenta:
-
ABNT
FINGER, Marcelo e DE BONA, Glauber. Uma conjectura refutada sobre satisfazibilidade probabilística. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf. Acesso em: 28 fev. 2026. , 2009 -
APA
Finger, M., & De Bona, G. (2009). Uma conjectura refutada sobre satisfazibilidade probabilística. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf -
NLM
Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabilística [Internet]. 2009 ;[citado 2026 fev. 28 ] Available from: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf -
Vancouver
Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabilística [Internet]. 2009 ;[citado 2026 fev. 28 ] Available from: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf - A logic based algorithm for solving probabilistic satisfiability
- A refuted conjecture on probabilistic satisfiability
- Satisfazibilidade Probabilística
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- Probabilistic satisfiability: logic-based algorithms and phase transition
- Algorithms for deciding counting quantifiers over unary predicates
- Inconsistency measurement in probabilistic logic
- Notes on measuring inconsistency in probabilistic logic
- Non-Markovian logic-probabilistic modeling and inference
- Generalized probabilistic satisfiability
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
1814341.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
