Boosting Search for Recursive Functions Using Partial Call-Trees. - Brad Alexander; Brad Zacher (PPSN, 2014)

Using Scaffolding with Partial Call-Trees to Improve Search. - Brad Alexander; Connie Pyromallis; George Lorenzetti; Brad Zacher (PPSN, 2016)