high performance computing on graphics processing units: hgpu.org

hgpu.org » SAT

Parallel Algorithms for the Summed Area Table on the Asynchronous Hierarchical Memory Machine, with GPU implementations

Akihiko Kasagi, Koji Nakano, Yasuaki Ito

View

Download (PDF)

Tags: Algorithms, Computer vision, CUDA, Image processing, nVidia, nVidia GeForce GTX 780 Ti, SAT

October 14, 2014 by hgpu

Parallel Variable Pre-Selection and Lookahead Solving on GPUs

Christopher Schuster

View

Download (PDF)

Source codes

Tags: Computer science, CUDA, nVidia, nVidia GeForce GTX Titan, Package, SAT

July 16, 2014 by hgpu

CUD@SAT: SAT Solving on GPUs

Alessandro Dal Pal'u, Agostino Dovier, Andrea Formisano, Enrico Pontelli

View

Download (PDF)

Source codes

Tags: Computer science, CUDA, Numerical simulation, nVidia, nVidia GeForce GTS 450, nVidia GeForce GTX 560, Package, SAT, Tesla C2075

July 15, 2014 by hgpu

Parallel SAT solvers and their application in automatic parallelization

Jaime Kirch da Silveira

View

Download (PDF)

Tags: Computer science, CUDA, nVidia, nVidia GeForce GT 630 M, SAT, Thesis

May 31, 2014 by hgpu

A Study of the Parallelization of Hybrid SAT Solver using CUDA

Taeill Yoo, Sangpil Kim, Yongjin Yeom, Jusung Kang

View

Download (PDF)

Tags: Algorithms, Computer science, CUDA, nVidia, nVidia GeForce GTX 660, SAT, Security

May 10, 2014 by hgpu

Simulating a Family of Tissue P Systems Solving SAT on the GPU

Miguel A. Martinez-del-Amor, Jesus Perez-Carrasco, Mario J. Perez-Jimenez

View

Download (PDF)

Source codes

Tags: Computer science, CUDA, Membrane computing, nVidia, Package, SAT, Tesla C1060

August 5, 2013 by hgpu

Parallelization of SAT Algorithms on GPUs

Carlos Costa

View

Download (PDF)

Tags: Algorithms, Computer science, CUDA, nVidia, SAT

July 15, 2013 by hgpu

Parallel hybrid SAT solving using OpenCL

Sander Beckers, Gorik De Samblanx, Floris De Smedt, Toon Goedeme, Lars Struyf, Joost Vennekens

View

Download (PDF)

Tags: Algorithms, Computer science, nVidia, OpenCL, SAT, Tesla C2075

September 17, 2012 by hgpu

Exploiting Unexploited Computing Resources for Computational Logics

Alessandro Dal Palu, Agostino Dovier, Andrea Formisano, Enrico Pontelli

View

Download (PDF)

Tags: Computer science, CUDA, nVidia, nVidia GeForce GTX 560, SAT, Tesla C2075

June 14, 2012 by hgpu

Parallel SAT-Solving with OpenCL

Sander Beckers, Gorik De Samblanx, Floris De Smedt, Toon Goedeme, Lars Struyf, Joost Vennekens

View

Download (PDF)

Tags: Algorithms, Computer science, nVidia, OpenCL, SAT

October 3, 2011 by hgpu

EQUIPE: Parallel equivalence checking with GP-GPUs

Debapriya Chatterjee, Valeria Bertacco

View

Download (PDF)

Tags: Computer science, CUDA, Electronic design automation, nVidia, nVidia GeForce 8800 GT, SAT

July 19, 2011 by hgpu

A Highly Scalable Solution of an NP-Complete Problem Using CUDA

Saiyedul Islam, Raghav Tandon, Shashank Singh, Alok Misra

Tags: Computer science, CUDA, nVidia, nVidia GeForce GTX 260, SAT

June 14, 2011 by hgpu

SimSYCL: Synchronous, single-threaded, library-only SYCL implementation for debugging and verification

SimSYCL: A SYCL Implementation Targeting Development, Debugging, Simulation and Conformance

gpu_tracker: Context manager and CLI that tracks the computational-resource-usage of a code block or shell command, particularly the GPU usage

gpu_tracker: Python package for tracking and profiling GPU utilization in both desktop and high-performance computing environments

CIFAR-10 Airbench: 94% on CIFAR-10 in 3.29 second

94% on CIFAR-10 in 3.29 Seconds on a Single GPU

LOOPer: a polyhedral compiler for expressing fast and portable data parallel algorithms

LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers

OpenMC Monte Carlo Code

Performance Portable Monte Carlo Particle Transport on Intel, NVIDIA, and AMD GPUs

Polygeist: C/C++ frontend for MLIR

Retargeting and Respecializing GPU Workloads for Performance Portability

Parallel Gaussian process with kernel approximation in CUDA

See all packages

* * *

high performance computing on graphics processing units: hgpu.org

Parallel Algorithms for the Summed Area Table on the Asynchronous Hierarchical Memory Machine, with GPU implementations

Parallel Variable Pre-Selection and Lookahead Solving on GPUs

CUD@SAT: SAT Solving on GPUs

Parallel SAT solvers and their application in automatic parallelization

A Study of the Parallelization of Hybrid SAT Solver using CUDA

Simulating a Family of Tissue P Systems Solving SAT on the GPU

Parallelization of SAT Algorithms on GPUs

Parallel hybrid SAT solving using OpenCL

Exploiting Unexploited Computing Resources for Computational Logics

Parallel SAT-Solving with OpenCL

EQUIPE: Parallel equivalence checking with GP-GPUs

A Highly Scalable Solution of an NP-Complete Problem Using CUDA

Recent source codes

SimSYCL: Synchronous, single-threaded, library-only SYCL implementation for debugging and verification

GPU plugin for PySCF

QArray

Celerity: High-level C++ for Accelerator Clusters

gpu_tracker: Context manager and CLI that tracks the computational-resource-usage of a code block or shell command, particularly the GPU usage

CIFAR-10 Airbench: 94% on CIFAR-10 in 3.29 second

LOOPer: a polyhedral compiler for expressing fast and portable data parallel algorithms

OpenMC Monte Carlo Code

Polygeist: C/C++ frontend for MLIR

Parallel Gaussian process with kernel approximation in CUDA

Most viewed papers (last 30 days)