Adaptive clause weight redistribution (2006)

by A Ishtaiwi, J R Thornton, A Sattar Anbulagan, D N Pham
Venue:In 12th International Conference on the Principles and Practice of Constraint Programming (CP 2006), volume 4204 of Lecture Notes in Computer Science