Certified SAT solving with GPU accelerated inprocessing.

Muhammad Osama Anton Wijs Armin Biere

Published in: Formal Methods Syst. Des. (2024)

Keyphrases

gpu accelerated
sat solving
sat solvers
finite element
real time
boolean satisfiability
sat problem
sequence alignment
neural network
least squares
max sat
constraint satisfaction
combinatorial optimization
sat instances
probabilistic planning