An Oscillator-based MaxSAT solver.

Mohammad Khairul Bashar Jaykumar Vaidya Antik Mallick R. S. Surya Kanthi Shamiul Alam Nazmul Amin Chonghan Lee Feng Shi Ahmedullah Aziz Vijaykrishnan Narayanan Nikhil Shukla

Published in: CoRR (2021)

Keyphrases

upper bound
sat solvers
combinatorial optimization
sat solving
data sets
feedback loop
real time
branch and bound algorithm
differential equations
boolean formula
multi agent
lower bound
orders of magnitude
boolean satisfiability
jigsaw puzzle
quantified boolean formulas