Framework for Modeling Reordering Heuristics for Asynchronous Backtracking | IEEE Conference Publication | IEEE Xplore