Any formal method or tool is almost certainly more often applied in situationswhere the outcome is failure (a counterexample) rather than success (a correctness proof). We present a method for symbolic model checking that can lead to signi cant time and memory savings for model-checking runs that fail, while occurring only a small overhead for model-checking runs that succeed. Our method discov...

In this paper we engineer a fast algorithm to count the number of triangles defined by three lines out of a set of n lines whose circumcircle contains the origin. The trick is not to compute any triangles or circles. 1998 ACM Subject Classification F.2.2 Nonnumerical Algorithms and Problems

"Mind power is God power! Mind power is money-getting p o w e r ! " e x c l a i m e d D r . Frederick J. Eikerenkoetter aka Reverend Ike as he dazzled a full house in Hamman Hall Friday with a discourse on his doctrine of the "Science of Living" and Green Power. In town this weekend for a g i a n t r e v i v a l Rev. Ike appeared on campus as a guest of Dr. Bill Martin of the sociology departme...