Generalized probabilistic satisfiability through integer programming

Brazilian Computer Society. Journal

Glauber De Bona²  Marcelo Finger⁵  Fabio G. Cozman⁶ 

[1] Escola PolitéInstituto de Matemácnica, Universidade de São Paulo, Sao Paulo, Brazil;stica, Universidade de Sãtica e Estatí

关键词: Probabilistic logic;    Probabilistic satisfiability;    Mixed integer linear programming;   

DOI  :  10.1186/s13173-015-0028-x

学科分类：农业科学（综合）

来源: Springer U K

【 授权许可】

CC BY