Meinel: Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs (1993)

by J Gergov, Ch
Venue:Proc. of 10th Annual Symposium on Theoretical Aspects of Computer Science (Feb.), Lecture Notes in Computer Science 665