10 citations · 45 across the 26 of their papers we have counts for
1 paper · 1 filter
Tom Schrijvers, Guido Tack, Pieter Wuille +2
The ability to model search in a constraint solver can be an essential asset for solving combinatorial problems. However, existing infrastructure for defining search heuristics is…