Development of an in vivo computer for the SAT problem.

Xiangrong Liu Shudong Wang

Published in: Math. Comput. Model. (2010)

Keyphrases

sat problem
information retrieval
phase transition
satisfiability problem
boolean satisfiability
learning algorithm
np complete
constraint satisfaction
sat solvers