Login / Signup
HOLL: Program Synthesis for Higher OrderLogic Locking.
Gourav Takhar
Ramesh Karri
Christian Pilato
Subhajit Roy
Published in:
CoRR (2022)
Keyphrases
</>
program synthesis
recursive programs
concurrency control
inductive logic programming
artificial intelligence
constraint satisfaction
relational learning