Probabilistic satisfiability: logic-based algorithms and phase transition

• Author(s): De Bona, Glauber
• Date: 2011
• Origin: Oasisbr
• Subject(s): COMPUTABILIDADE E COMPLEXIDADE
• Document Type: Other
• Language: English