Michael Alekhnovich Allan Borodin Joshua Buresh-Oppenheim Russell Impagliazzo Avner Magen Toniann Pitassi Toward a Model for Backtracking and Dynamic Programming. 308-322 2005 conf/coco/2005 IEEE Conference on Computational Complexity http://dx.doi.org/10.1109/CCC.2005.32 db/conf/coco/coco2005.html#AlekhnovichBBIMP05