output
20022008
most citedA probabilistic approach to the geometry of the \ell_p^n-ball

181 citations

researchers with a paper here
collaborating institutions
Showing 2004 · cs.PLShow all

1 paper · 2 filters

cs.PL2004★ 3 cited

On computing the fixpoint of a set of boolean equations

Viktor Kuncak, K. Rustan M. Leino

This paper presents a method for computing a least fixpoint of a system of equations over booleans. The resulting computation can be significantly shorter than the result of iterat…