Nogood Recording for static and dynamic constraint satisfaction problems | IEEE Conference Publication | IEEE Xplore