Satisfatibilidade Probabilística Documento

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

membro de

• https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377 

orientado por

• Marcelo Finger

tipo

• master thesis

autores

• Glauber De Bona

data de publicação

• 2011-01-01

Pesquisas

áreas de investigação

• Ciência da Computação
• Logica e Inteligencia Artificial

palavras-chave

• Inteligência Artificial
• Logic
• Lógica Probabilística
• SAT

Identidade

identificador BrCris

• aec6588b04b3859f902ad9fc47789575