New version with some bug fixed and polished output
IJCAI-16, IJCAI-16 implementation
ECAI-16, IJCAI-16 implementation