torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem.

Abdelrahman Hosny Sherief Reda

Published in: CoRR (2024)

Keyphrases

gpu accelerated
finite element
real time
approximation algorithms
image analysis
approximation error
neural network
sequence alignment