9 citations · 17 across the 2 of their papers we have counts for
1 paper · 1 filter
Lars Kotthoff, Neil C. A. Moore
Constraint problems can be trivially solved in parallel by exploring different branches of the search tree concurrently. Previous approaches have focused on implementing this funct…