EECS 303 Mailing List
Re: Question about Espresso


Re: Question about Espresso

From: Mykell Miller <mykell.shih_at_avoiding.spam>
Date: Thu Oct 23 2008 - 15:26:06 EDT

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
Received on Thu Oct 23 15:26:06 2008

This archive was generated by hypermail 2.1.8 : Tue Jan 06 2009 - 18:55:01 EST