@conference {IIIA-2001-189, title = {Specializing Russian doll search}, booktitle = {Lecture notes in computer science}, volume = {2239}, year = {2001}, pages = {464-478}, publisher = {Springer}, organization = {Springer}, abstract = {Russian Doll Search (RDS) is a clever procedure to solve overconstrainedproblems. RDS solves a sequence of nested subproblems, where two consecutivesubproblems differ in one variable only. We present the Specialized RDS(SRDS) algorithm, which solves the current subproblem for each value ofthe new variable with respect to the previous subproblem. The SRDS lowerbound is superior to the RDS lower bound, which allows for a higher levelof value pruning, although more work per node is required. Experimentalresults on random and real problems show that this extra work is oftenbeneficial, providing substantial savings in the global computationaleffort.}, author = {Mart{\'\i} S{\'a}nchez and Pedro Meseguer}, editor = {Walsh, Toby} }