SAT Solving with GPU Accelerated Inprocessing.

Muhammad Osama Anton Wijs Armin Biere

Published in: TACAS (1) (2021)

Keyphrases

gpu accelerated
sat solving
sat solvers
finite element
real time
sat problem
boolean satisfiability
boolean optimization
artificial neural networks
neural network
orders of magnitude
branch and bound algorithm
sat instances
sat encodings