Parallel implementation of R-trees on the GPU. - Lijuan Luo; Martin D. F. Wong; Lance Leong (ASP-DAC, 2012)

Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. - Tamir Heyman; Dan Smith; Yogesh Mahajan; Lance Leong; Husam Abu-Haimed (SAT, 2014)