Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient
Author:
Hiroshi Yamashita,Kazuyuki Aihara,Hideyuki Suzuki
Publication:
Communications in Nonlinear Science and Numerical Simulation
© 2021 The Authors. Published by Elsevier B.V.