Read news on PBcounter with our app.
Read more in the app
PBcounter: Weighted model counting on pseudo-Boolean formulas - EurekAlert!