cenyunuo / analog-maxsat-solver Goto Github PK
View Code? Open in Web Editor NEWThis project forked from molnarb14/analog-maxsat-solver
Many real-life optimization problems can be formulated in Boolean logic as MaxSAT. Here we present a continuous-time analog solver for MaxSAT and show that one can predict the maximum number of satisfiable constraints, often well before finding the optimal assignment.
License: GNU General Public License v3.0