A Planning Engine Based on SHOP2 for AFLOW | IEEE Conference Publication | IEEE Xplore