High performance constraint satisfaction problem solving: state-recomputation versus state-copying | IEEE Conference Publication | IEEE Xplore