Algorithms for Extended Alpha-Equivalence and Complexity.
Manfred Schmidt-SchaußConrad RauDavid SabelPublished in: RTA (2013)
Keyphrases
- computational cost
- computational complexity
- high computational complexity
- lower complexity
- computationally efficient
- worst case
- computational efficiency
- times faster
- combinatorial optimization
- theoretical analysis
- computational issues
- reduced complexity
- graph theory
- database
- significant improvement
- image processing
- genetic algorithm