Sign in

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

Hadi Mardani KamaliKimia Zamiri AzarHouman HomayounAvesta 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