most citedA high-performance analog Max-SAT solver and its application to Ramsey numbers

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2018★ 2 cited

A high-performance analog Max-SAT solver and its application to Ramsey numbers

Botond Molnár, Melinda Varga, Zoltan Toroczkai +1

We introduce a continuous-time analog solver for MaxSAT, a quintessential class of NP-hard discrete optimization problems, where the task is to find a truth assignment for a set of…