Open haz opened 4 years ago
If lots of dead space is being produced with the d-DNNF, then it would be worth pruning / freeing up the memory from the bad space at regular intervals (akin to the clause cache that is cleared).
If lots of dead space is being produced with the d-DNNF, then it would be worth pruning / freeing up the memory from the bad space at regular intervals (akin to the clause cache that is cleared).