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

Botond Molnár Melinda Varga Zoltán Toroczkai Mária Ercsey-Ravasz

Published in: CoRR (2018)

Keyphrases

max sat solver
max sat
analog circuits
signal processing
high speed
linear programming
vlsi architecture
data conversion