Login / Signup
A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division.
Suxia Jiang
Yanfeng Wang
Yansen Su
Published in:
Soft Comput. (2019)
Keyphrases
</>
max sat
objective function
optimal solution
lower bound
np complete