Modeling Techniques for Logic Locking.

Joseph Sweeney Marijn J. H. Heule Lawrence T. Pileggi

Published in: ICCAD (2020)

Keyphrases

modal logic
data model
modeling method
modeling framework
data sets
information retrieval
learning algorithm
database systems
search algorithm
multi agent systems
hidden markov models
automated reasoning