Strong Anti-SAT: Secure and Effective Logic Locking.

Yuntao Liu Michael Zuzak Yang Xie Abhishek Chakraborty Ankur Srivastava

Published in: ISQED (2020)

Keyphrases

modal logic
high quality
logic programming
database
optimal solution
knowledge representation
concurrency control
classical logic