Generalized probabilistic satisfiability through integer programming
Crossref DOI link: https://doi.org/10.1186/s13173-015-0028-x
Published Online: 2015-07-15
Published Print: 2015-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bona, Glauber De
Cozman, Fabio G.
Finger, Marcelo
License valid from 2015-07-15