Login / Signup
Evgenia Ternovska
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Graphics Hardware
Solving Hard
Compute Unified Device Architecture
Propositional Satisfiability
Top Venues
CANDAR
</>
Publications
</>
Heng Liu
,
Arrvindh Shriraman
,
Evgenia Ternovska
How to Speed Up CUDA-WSat-PcL by 5x.
CANDAR
(2016)