Re: [gecode-users] counting-based search in Gecode

2016-02-14 Thread Christian Schulte
.@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Gilles Pesant Sent: Saturday, February 13, 2016 02:23 AM To: users@gecode.org Subject: [gecode-users] counting-based search in Gecode I would li

[gecode-users] counting-based search in Gecode

2016-02-12 Thread Gilles Pesant
I would like to integrate counting-based branching heuristics in Gecode. Like AFC we need to collect information from each constraint in which a given variable appears. But our information is more involved than a simple updated failure count --- we have dedicated algorithms computing "solution d