EECS 303 Mailing List
Re: Question about Espresso


Re: Question about Espresso

From: Robert Dick <dickrp_at_avoiding.spam>
Date: Thu Oct 23 2008 - 02:32:47 EDT

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

I will answer this when I return. This part of Espresso won't be covered on
the midterm exam.

-Robert Dick-
Received on Thu Oct 23 02:32:47 2008

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