9 citations · 17 across the 2 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2018
A Review of Literature on Parallel Constraint Solving
Ian P. Gent, Ciaran McCreesh, Ian Miguel +4
As multicore computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it. Researchers need to address a number of issues to explo…
cs.AI2014★ 8 cited
The Ultrametric Constraint and its Application to Phylogenetics
Neil C. A. Moore, Patrick Prosser
A phylogenetic tree shows the evolutionary relationships among species. Internal nodes of the tree represent speciation events and leaf nodes correspond to species. A goal of phylo…
cs.AI2010★ 9 cited
Distributed solving through model splitting
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…