Test pattern generation using Boolean proof engines | lit.salon