harderhelp wanted
Métricas do repositório
- Stars
- (1.269 stars)
- Métricas de merge de PR
- (Nenhuma PRs mesclada em 30d)
Description
https://arxiv.org/abs/1710.09278
We demonstrate this exponential gain by comparing a sequential MatLab implementation of our solver with the winners of the 2016 Max-SAT competition on a variety of hard optimization instances. We show empirical evidence that our solver scales linearly with the size of the problem, both in time and memory, and argue that this property derives from the collective behavior of the simulated physical circuit. Our approach can be applied to other types of optimization problems and the results presented here have far-reaching consequences in many fields.