search

jmdha / FMA

1 stars 0 forks source link

Rewrite the Usefulness Pruning section when better benchmarks are available #103

Closed kris701 closed 5 months ago

kris701 commented 6 months ago

Since the ReducesMetaSearchTime for pre-usefulness check may make better sense than the UsedInPlans one