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

181 citations

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

1 paper · 1 filter

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…