output
20022022
most citedA versatile and accurate approximation for LRU cache performance

265 citations

researchers with a paper here
collaborating institutions
Showing 2014 · cs.LOShow all

1 paper · 2 filters

cs.LO2014★ 2 cited

On Compiling Structured CNFs to OBDDs

Simone Bova, Friedrich Slivovsky

We present new results on the size of OBDD representations of structurally characterized classes of CNF formulas. First, we identify a natural sufficient condition, which we call t…