Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs.

Jordan Gergov, Christoph Meinel

Browse the full STACS paper archive.