Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems. (2008)

by Quimper Pesant, Zanarini Balafoutis, T, K Stergiou
Venue:In Proceedings of the Fifteenth Knowledge Representation and Automated Reasoning Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA-08.