Login / Signup
Lance Leong
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Access Methods
Quantified Boolean Formulae
Parallel Implementations
Multidimensional Index Structures
Top Venues
SAT
ASP-DAC
</>
Publications
</>
Tamir Heyman
,
Dan Smith
,
Yogesh Mahajan
,
Lance Leong
,
Husam Abu-Haimed
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer.
SAT
(2014)
Lijuan Luo
,
Martin D. F. Wong
,
Lance Leong
Parallel implementation of R-trees on the GPU.
ASP-DAC
(2012)