Sign in
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