rosejn/cortex

Solver research direction

Open

#254 opened on 2017年12月28日

GitHub で見る
 (5 comments) (0 reactions) (0 assignees)Clojure (109 forks)batch import
harderhelp wanted

Repository metrics

Stars
 (1,269 stars)
PR merge metrics
 (30d に merged PR はありません)

説明

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.

コントリビューターガイド