Uma conjectura refutada sobre satisfazibilidade probabilií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 probabiliística. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf. Acesso em: 19 abr. 2024. , 2009 -
APA
Finger, M., & De Bona, G. (2009). Uma conjectura refutada sobre satisfazibilidade probabilií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 probabiliística [Internet]. 2009 ;[citado 2024 abr. 19 ] 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 probabiliística [Internet]. 2009 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/63372545-efc6-41db-81ff-15ab31e3aa0b/1814341.pdf - Satisfazibilidade Probabilística
- A logic based algorithm for solving probabilistic satisfiability
- Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- A refuted conjecture on probabilistic satisfiability
- Algorithms for deciding counting quantifiers over unary predicates
- Probabilistic satisfiability: logic-based algorithms and phase transition
- Inconsistency measurement in probabilistic logic
- Notes on measuring inconsistency in probabilistic logic
- Generalized probabilistic satisfiability
- Non-Markovian logic-probabilistic modeling and inference
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