Sign in
An efficient time-free solution to SAT problem by P systems with proteins on membranes.
Bosheng Song
Mario J. Pérez-Jiménez
Linqiang Pan
Published in:
J. Comput. Syst. Sci. (2016)
Keyphrases
</>
sat problem
retrieval systems
satisfiability problem
evolutionary algorithm
special case
probability distribution
state space
optimization problems
search strategy
phase transition
sat solvers
sat solving