[gecode-users] Propagator priority queue

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Lars Kotthoff
Sent: Tuesday, February 03, 2009 10:55 AM
To: gecode at 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
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users