An Effective SAT Solver Utilizing ACO Based on Heterogenous Systems

An Effective SAT Solver Utilizing ACO Based on Heterogenous Systems

This paper presents new parallel strategies for preprocessing and solving the issue of Boolean Satisfaction (SAT) on Heterogeneous systems of multicore and many-core CPU and Graphics Processing Unit (GPU) using Open Multi-Processor (OpenMP) and NVIDIA - CUDA. We propose exceptionally proficient and...

Full description

Bibliographic Details
Main Authors: Hassan Youness, Muhammad Osama, Aziza Hussein, Mohammed Moness, Ammar Mostafa Hassan
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Ant colony optimization
CUDA
GPU
heterogeneous
pure-literal elimination
satisfiability
Online Access:https://ieeexplore.ieee.org/document/9106795/

Internet

https://ieeexplore.ieee.org/document/9106795/

Similar Items