Dominant Controllability Check Using QBF-Solver and Netlist Optimizer - Tamir Heyman; Dan Smith; Yogesh Mahajan; Lance Leong; Husam Abu-Haimed (Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, 2014)

Parallel implementation of R-trees on the GPU - Lijuan Luo; Martin D. F. Wong; Lance Leong (Proceedings of the 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012, Sydney, Australia, January 30 - February 2, 2012, 2012)