Intersection Types for Unboundedness Problems.

Published in: DCM/ITRS (2018)

Keyphrases

optimization problems
digital libraries
problems involving
solving problems
practical problems
social networks
data structure
artificial neural networks
evolutionary algorithm
np complete
related problems