Biblioteca Digital de Teses e Dissertações da USP 2

De Bona, Glauber 1 Morais, Eduardo Menezes de 1

Dissertação 2

Português 2

lógica probabilística 2 probabilistic logic 2 probabilistic satisfiability (PSAT) 2 satisfazibilidade probabilística (PSAT) 2 Turing reduction 1 answer set programming (ASP) 1 Mais ... logic programming 1 many-to-one reduction 1 phase transition 1 polynomial reduction 1 programação lógica 1 redução de Turing 1 redução muitos-para-um 1 redução polinomial 1 satisfazibilidade (SAT) 1 satisfiability (SAT) 1 transição de fase 1 Ver todos ... menos ...