no code implementations • 15 Dec 2018 • N. Takeuchi, M. Aono, Y. Hara-Azumi, C. L. Ayala
AmbSAT updates multiple variables in parallel at every iteration step, and thus AmbSAT can find solutions with a fewer number of iteration steps than some other conventional SLS solvers for a specific set of SAT instances.