activity
20052026
most citedBranch-and-Prune Search Strategies for Numerical Constraint Solving

8 citations · 9 across the 10 of their papers we have counts for

collaborators
Showing cs.AIShow all

4 papers · 1 filter