Ejcient Generation or'st Palterns [5'ing Boolean Satisffabi/i (1990)

by T Larrabee