Results 341 to 349 of about 3,677,634 (349)

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

Chinese Journal of Electronics, 2019
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  

A SAT Solver Primer.

Bull. EATCS, 2020
openaire  

An FPGA SAT solver based on enhanced constraint

2017
exaly  

An Adaptive SAT Solver

2016
Audemard, Gilles, Lagniez, Jean-Marie, Szczepanski, Nicolas, Tabary, Sébastien   +3 more
openaire   +1 more source

Anti-SAT solver

openaire   +1 more source

Kaoru SAT Solvers

openaire   +1 more source

NeuroDual: A Hybrid SAT Solver Combining Graph Attention Networks with Algorithmic Techniques

exaly