Hardware accelerated SAT solvers—A survey-Reference-Cited by-同舟云学术

Hardware accelerated SAT solvers—A survey

Published:2017-08 Issue: Volume:106 Page:170-184
ISSN:0743-7315
Container-title:Journal of Parallel and Distributed Computing
language:en
Short-container-title:Journal of Parallel and Distributed Computing

Author:

Sohanghpurwala Ali Asgar^ORCID,Hassan Mohamed W.^ORCID,Athanas Peter

Publisher

Elsevier BV

Subject

Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Reference44 articles.

1. A. Belov, D. Diepold, M. Heule, M. Jrvisalo, Proceedings of SAT Competition 2014 Solver and Benchmark Descriptions, 2014. URL http://www.satcompetition.org/2014/.

2. Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010, FMV Reports Series Technical;Biere,2010

3. CUD@SAT: SAT solving on GPUs;Dal Palù;J. Exp. Theoret. Artif. Intell.,2015

4. Complete algorithms;Darwiche,2009

5. A machine program for theorem-proving;Davis;Commun. ACM,1962

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Application of Weighted Partial Max-SAT for Post-improvement of the Multiple Traveling Salesman Problem;Anais do V Workshop Brasileiro de Lógica (WBL 2024);2024-07-21

2. Accelerating Boolean Constraint Propagation for Efficient SAT-Solving on FPGAs;Proceedings of the Great Lakes Symposium on VLSI 2024;2024-06-12

3. Non-redundant implicational base of formal context with constraints using SAT;PeerJ Computer Science;2024-01-31

4. FYalSAT: High-Throughput Stochastic Local Search K-SAT Solver on FPGA;IEEE Access;2024

5. Clause-connected versions of the satisfiability problem;SIB ELECTRON MATH RE;2024