[PDF][PDF] A hybrid quantum genetic algorithm and local search based DPLL for max 3-SAT problems
A Layeb, DE Saidouni - Applied Mathematics & Information …, 2014 - naturalspublishing.com
In this paper, we present a new framework for combining complete and incomplete methods
in order to deal with the Max Sat problem. The objective is to find the best assignment for a …
in order to deal with the Max Sat problem. The objective is to find the best assignment for a …