Heuristic Logic Resynthesis Algorithms at the Core of Peephole Optimization.
Siang-Yun LeeGiovanni De MicheliPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
- optimization problems
- combinatorial optimization
- significant improvement
- computationally efficient
- computational cost
- learning algorithm
- optimization approaches
- discrete optimization
- exact algorithms
- theoretical analysis
- benchmark datasets
- tabu search
- times faster
- global optimization
- modal logic
- solution quality
- dynamic programming
- depth first search
- classical logic
- stochastic local search
- data structure
- neural network