Caching in parallel BDD package - Grudenić, Igor (Array, 2005)