On the Speed of Constraint Propagation and the Time Complexity of Arc Consistency Testing

Berlin [u.a.] / Springer (2013) [Contribution to a book, Contribution to a conference proceedings]

Mathematical foundations of computer science 2013 : 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26 - 30, 2013 ; proceedings / Krishnendu Chatterjee; Jirí Sgall (ed.)
Page(s): 159-170