Results 251 to 260 of about 1,116 (265)

A FPGA based SAT solver with random variable selection

2016
Juxia Xiong
exaly  

BaW 1.0 - A Problem Specific SAT Solver for Effective Strong Connectivity Testing in Sparse Directed Graphs

2018
Csaba Biro, Gabor Kusper
exaly  

An improved all-solution SAT solver

2008
exaly  

Accelerating an FPGA‐Based SAT Solver by Software and Hardware Co‐design

Chinese Journal of Electronics, 2019
exaly  

A reconfigurable, pipelined, conflict directed jumping search SAT solver

2011
Mona Safar, M Watheq El-Kharashi, Ashraf Salem   +2 more
exaly  

3-SAT on CUDA: Towards a massively parallel SAT solver

2010
Marc Stamminger, Rolf Wanka
exaly  

X-SAT: An Efficient Circuit-Based SAT Solver

2025 62nd ACM/IEEE Design Automation Conference (DAC)
Yuhang Qian, Zhihan Chen, Xindi Zhang, Shaowei Cai 0001   +3 more
openaire   +1 more source

Implementing an Efficient SAT Solver for Structured Instances

2019
exaly  

On the Impact of SAT Solvers on Argumentation Solvers. [PDF]

Serigne Gning, Jean-Guy Mailly
openaire  

An FPGA SAT solver based on enhanced constraint

2017
exaly