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

Over-synchronization in GPU Programs

profile_util: simple C++ library to report memory, timing, thread affinity

Profile Util library: A quick and easy way to get MPI, OpenMP and GPU runtime information

MaC: Mamba CPU performance predictor

MambaCPU: Enhanced Correlation Mining with State Space Models for CPU Performance Prediction

Mixed-precision finite element kernels

Mixed-precision finite element kernels and assembly: Rounding error analysis and hardware acceleration

SHMT: The Simultaneous and Heterogenous Multithreading project

General-Purpose Computing on Tensor Processors

Superpipeline: A Universal Approach for Reducing GPU Memory Usage in Large Models

EnergyUCB-Bandit

Online Energy Optimization in GPUs: A Multi-Armed Bandit Approach

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

Kokkidio: Kokkos+Eigen - write fast, readable multi-platform code

LLaMA-Inference-Bench

MATAR

Over-synchronization in GPU Programs

profile_util: simple C++ library to report memory, timing, thread affinity

MaC: Mamba CPU performance predictor

Mixed-precision finite element kernels

SHMT: The Simultaneous and Heterogenous Multithreading project

Superpipeline: A Universal Approach for Reducing GPU Memory Usage in Large Models

EnergyUCB-Bandit

Most viewed papers (last 30 days)