A refuted conjecture on probabilistic satisfiability
Marcelo Finger Glauber De Bona 1984-; Brazilian Symposium on Artificial Intelligence - SBIA (20. 2010 São Bernardo do Campo)
Proceedings Berlin : Springer, 2010Berlin Springer 2010
Localização: IME - Inst. Matemática e Estatística (PROD-2190220 )(Acessar)