Login / Signup
An algorithm for solving satisfiability problem based on the structural information of formulas.
Zaijun Zhang
Daoyun Xu
Jincheng Zhou
Published in:
Frontiers Comput. Sci. (2021)
Keyphrases
</>
structural information
satisfiability problem
stochastic local search algorithms
computational complexity
optimal solution
search space
search engine
np hard
combinatorial optimization
co occurrence
np complete
structural similarity