צמצום עץ החלטות בינארי באמצעות דה-קומפוזיציה

Parallel Implementation of Free BDDs
Project submitted by: On Zarfati & Marat Teflitsky