@inproceedings{SabatoNa07,
 author = {Sabato, Sivan and Naveh, Yehuda},
 title = {Preprocessing Expression-Based Constraint Satisfaction Problems for Stochastic Local Search},
 booktitle = {Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR)},
 year = {2007},
 pages = {244--259},
}