Modeling and Mining Optimal Patterns Using Dynamic CSP | IEEE Conference Publication | IEEE Xplore