Efficient conflict-based learning in an RTL circuit constraint solver

M. K. Iyer, Parthasarathy, G., and Cheng, K. - T. Tim, Efficient conflict-based learning in an RTL circuit constraint solver, in Design, Automation and Test in Europe, 2005. Proceedings, 2005, pp. 666–671.