ChaoLock: Yet Another SAT-hard Logic Locking using Chaos Computing.

Hadi Mardani Kamali Kimia Zamiri Azar Houman Homayoun Avesta Sasan

Published in: ISQED (2021)

Keyphrases

satisfiability problem
modal logic
sat solvers
database
neural network
particle swarm optimization
database systems
search algorithm
logic programming
sat problem
predicate logic
proof theory