Reformulating R(*,m)C with Tree Decomposition (SARA 11)

Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry, "Reformulating R(*,m)C with Tree Decomposition," in Ninth International Symposium on Abstraction, Reformulation and Approximation (SARA 2011), AAAI Press, 2011, pp. 62--69. [PDF] [BIB] [Slides PPT]