A continuous-time MaxSAT solver with high analog performance

Abstract

Continuous-time computation paradigm could represent a viable alternative to the standard digital one when dealing with certain classes of problems. Here, the authors propose a generalised version of a continuous-time solver and simulate its performances in solving MaxSAT and two-colour Ramsey problems.