0 to trim (a tree etc) by cutting off unnecessary twigs and branches -- beskære
He pruned the roses.
A rm hand pruned your lines; a sharp ear tested their music.
Such search space pruning techniques are possible in the case of satisfiability testing.
No examples of analogous search space pruning methods are known in the case of stable model computation.
One to several young fully developed leaves per plant were harvested, using pruning shears for trees and shrubs.
As an alternative to pruning, they also experiment with storing the trace in a file.
The procedure for improving recall is completely automatic, whereas precision can be improved by manually pruning the list of candidates following a set of rules.
The matrices generated represent a component tree of design solutions that has been pruned of infeasible designs.
Further, frequent k -itemsets, the join operation, pruning and the candidate itemsets are straightforward generalizations.