Unrestricted vs restricted cut in a tableau method for Boolean circuits (0)

by M Järvisalo, T Junttila, I Niemelä
Venue:Annals of Mathematics and Artificial Intelligence