1 paper
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…