A fast heuristic for mapping Boolean circuits to functional bootstrapping.
Sergiu CarpovPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- truth table
- real valued
- search algorithm
- tabu search
- multi valued
- packing problem
- high speed
- dynamic programming
- optimal solution
- heuristic methods
- boolean queries
- low cost
- mobile robot
- simulated annealing
- level set
- real time
- boolean functions
- search procedure
- objective function
- greedy heuristic
- logic synthesis
- data sets