721 citations · 2.9k across the 30 of their papers we have counts for
1 paper · 2 filters
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…