Please check here, this also has lots of experiments checking different
priority styles:
http://web.it.kth.se/~cschulte/paper.html?id=SchulteStuckey:TOPLAS:2008
For a more implementation-oriented discussion (including the data structures
for queues):
http://www.ps.uni-sb.de/Papers/abstracts/tackDiss.html
But it is more or less the same what Eclipse does (I read Joachim Schimpf's
very clear reply to your question on the Eclipse mailing list). One
important difference is that Gecode's propagator queues support changing
priorities for propagators already being queued to support staging.
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
-----Original Message-----
From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf
Of Lars Kotthoff
Sent: Tuesday, February 03, 2009 10:55 AM
To: gec...@gecode.org
Subject: [gecode-users] Propagator priority queue
Dear all,
does Gecode use a priority queue for the propagators which are fired when a
variable becomes assigned etc or are they executed in the order they're
enqueued?
Thanks,
Lars
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
