You don't need to know how to find "partially redundant" and "totally
redundant" cubes. All you need to know is what "reduce" "expand" and
"irredundant cover" mean and what the difference between "partially
redundant" and "totally redundant" are.

On Wed, Oct 22, 2008 at 1:08 PM, Hyerim Shin <
hyerimshin2007@u.northwestern.edu> wrote:

> What is the method to find the "partially redundant" and "totally
> redundant" cubes in Espresso?
> How does that relate to tautology?
>
> Hyerim Shin
>

-- 
Mykell Miller