research
∙
06/10/2022
Training Neural Networks using SAT solvers
We propose an algorithm to explore the global optimization method, using...
research
∙
06/19/2018