PJBDD: A BDD Library for Java and Multi-Threading.

Dirk Beyer, Karlheinz Friedberger, Stephan Holzner

Browse the full ATVA paper archive.