Thesis Research

Inductive Boolean Function Manipulation

Copy of Thesis: TR # CMU-CS-94-208 Postscript

Abstract

Related Publications

LIF Package

A package for symbolic manipulation of Linearly Inductive Boolean Functions

Watch this space for announcement of public release.


Return to home page