Detecting Arithmetic Optimization Opportunities for C Compilers by Randomly Generated Equivalent Programs.
Atsushi HashimotoNagisa IshiuraPublished in: IPSJ Trans. Syst. LSI Des. Methodol. (2016)
Keyphrases
- randomly generated
- branch and bound algorithm
- np complete
- boolean functions
- hardware and software
- programming language
- optimization problems
- phase transition
- lower bound
- boolean satisfiability
- neural network
- dynamic programming
- sat instances
- stochastic local search
- constraint problems
- integer programming formulation