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