Local search method is a rising star for solving combinatorial optimization problems in recent years, and many state-of-the-art local search-based incomplete Maximum Satisfiability (MaxSAT) solvers ...

Many physicists and engineers have recently been trying to demonstrate the potential of quantum computers for tackling some problems that are particularly demanding and are difficult to solve for ...