Pages that link to "Item:Q3296323"
From MaRDI portal
The following pages link to Scalable Approximation of Quantitative Information Flow in Programs (Q3296323):
Displayed 4 items.
- Not all FPRASs are equal: demystifying FPRASs for DNF-counting (Q2009190) (← links)
- Upper bound computation of information leakages for unbounded recursion (Q6045049) (← links)
- OuterCount: a first-level solution-counter for quantified Boolean formulas (Q6102979) (← links)
- Projected model counting: beyond independent support (Q6160911) (← links)