6 citations · 6 across the 1 of their papers we have counts for
1 paper
Martin Mann, Guido Tack, Sebastian Will
We describe decomposition during search (DDS), an integration of And/Or tree search into propagation-based constraint solvers. The presented search algorithm dynamically decomposes…