Logarithmic SAT Solution with Membrane Computing.

Radu Nicolescu Michael J. Dinneen James Cooper Alec Henderson Yezhou Liu

Published in: Axioms (2022)

Keyphrases

lower bound
worst case
mathematical model
satisfiability problem
real time
data sets
optimal solution
search algorithm
sat problem