Search Results for author:
Found 2 papers, 1 papers with code
A high-performance analog Max-SAT solver and its application to Ramsey numbers
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 Boolean variables satisfying the maximum number of given logical constraints.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
