Login / Signup
An Optical Solution for the SAT Problem.
Mihai Oltean
Oana Muntean
Published in:
OSC (2010)
Keyphrases
</>
sat problem
satisfiability problem
phase transition
sat solvers
optimal solution
data structure
sufficient conditions
max sat
sat instances