SAT Solving using FPGA-based Heterogeneous Computing.

Jason Thong Nicola Nicolici

Published in: ICCAD (2015)

Keyphrases

sat solving
heterogeneous computing
sat solvers
compute intensive
grid computing
parallel computing
high performance computing
boolean satisfiability
search tree
sat problem
orders of magnitude
sat encodings
embedded systems
reinforcement learning
constraint satisfaction