Porting Batched Iterative Solvers onto Intel GPUs with SYCL.

Phuong Nguyen Pratik Nayak Hartwig Anzt

Published in: CoRR (2023)

Keyphrases

general purpose
real time
data sets
search strategies
computational power
multi core processors
artificial intelligence
data driven
parallel processing
computer architecture
iterative process
graphics hardware
constraint solver
sat solving
quantified boolean formulas
graphics cards