Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2201.10531
Cited By
HOLL: Program Synthesis for Higher OrderLogic Locking
25 January 2022
Gourav Takhar
Ramesh Karri
C. Pilato
Subhajit Roy
Re-assign community
ArXiv
PDF
HTML
Papers citing
"HOLL: Program Synthesis for Higher OrderLogic Locking"
1 / 1 papers shown
Title
Engineering an Efficient Boolean Functional Synthesis Engine
P. Golia
Friedrich Slivovsky
Subhajit Roy
Kuldeep S. Meel
NAI
21
17
0
12 Aug 2021
1
