Solving the contact map overlap problem via tree decomposition and a DEE-like pruning strategy | IEEE Conference Publication | IEEE Xplore