Open AccessGPGPU Acceleration of SAT Algorithm with Propagation Routine Parallelization
Author(s) -
Hyeong-Ju Kang
Publication year - 2016
Publication title -
han-guk jeongbo tongsin hakoe nonmunji
Language(s) - English
Resource type - Journals
eISSN - 2288-4165
pISSN - 2234-4772
DOI - 10.6109/jkiice.2016.20.10.1919
Subject(s) - acceleration , parallel computing , general purpose computing on graphics processing units , computer science , cuda , algorithm , computational science , computer graphics (images) , physics , graphics , classical mechanics