Sign in

Logarithmic SAT Solution with Membrane Computing.

Radu NicolescuMichael J. DinneenJames CooperAlec HendersonYezhou Liu
Published in: Axioms (2022)
Keyphrases
  • lower bound
  • worst case
  • mathematical model
  • satisfiability problem
  • real time
  • data sets
  • optimal solution
  • search algorithm
  • sat problem