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

Berkholz, Christoph (Corresponding author); Verbitsky, Oleg (Corresponding author)

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

In: 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)/Article-Nr.: 159-170