Generalized probabilistic satisfiability through integer programming

• Author(s): Finger, Marcelo
• Date: 2015
• Origin: Oasisbr
• Subject(s): INTELIGÊNCIA ARTIFICIAL
• Document Type: Journal article
• Language: English