Stephen Olivier Jun Huan Jinze Liu Jan Prins James Dinan P. Sadayappan Chau-Wen Tseng UTS: An Unbalanced Tree Search Benchmark. 235-250 2006 conf/lcpc/2006 LCPC http://dx.doi.org/10.1007/978-3-540-72521-3_18 db/conf/lcpc/lcpc2006.html#OlivierHLPDST06