A 3-CNF-SAT descriptor algebra and the solution of the P=NP conjecture.

Marcel Rémon Johan Barthélemy

Published in: CoRR (2016)

Keyphrases

sat solvers
sat solving
optimal solution
stochastic local search
search algorithm
sat problem
max sat
image retrieval
satisfiability problem
exact solution
propositional satisfiability
face recognition
state space