An Optical Polynomial Time Solution for the Satisfiability Problem.

Sama Goliaei Saeed Jalili

Published in: OSC (2012)

Keyphrases

satisfiability problem
np complete
search algorithm
temporal logic
phase transition
special case
sat problem
optimal solution
stochastic local search algorithms
graph coloring problems
state space
search strategy
sat instances
decision procedures
stochastic local search
clause learning