Login / Signup
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