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; DE BONA, Glauber. Uma conjectura refutada sobre satisfazibilidade probabiliística. [S.l: s.n.], 2009. -
APA
Finger, M., & De Bona, G. (2009). Uma conjectura refutada sobre satisfazibilidade probabiliística. São Paulo: IME-USP. -
NLM
Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabiliística. 2009 ; -
Vancouver
Finger M, De Bona G. Uma conjectura refutada sobre satisfazibilidade probabiliística. 2009 ; - Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
- A logic based algorithm for solving probabilistic satisfiability
- Satisfazibilidade Probabilística
- Inconsistency measurement in probabilistic logic
- Notes on measuring inconsistency in probabilistic logic
- Probabilistic satisfiability: logic-based algorithms and phase transition
- Algorithms for deciding counting quantifiers over unary predicates
- A refuted conjecture on probabilistic satisfiability
- Generalized probabilistic satisfiability
- Generalized probabilistic satisfiability through integer programming
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas