Martí Sánchez David Allouche Simon de Givry Thomas Schiex Russian Doll Search with Tree Decomposition. 603-608 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-106.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#SanchezAGS09