Hardware accelerated SAT solvers - A survey.

Ali Asgar Sohanghpurwala Mohamed W. Hassan Peter Athanas

Published in: J. Parallel Distributed Comput. (2017)

Keyphrases

sat solvers
orders of magnitude
constraint satisfaction
propositional satisfiability
search tree
sat instances
sat problem
boolean satisfiability
search space
max sat
search strategies
sat solving
clause learning
clause learning sat solvers
constraint satisfaction problems
sat encodings
answer sets