Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW | IEEE Conference Publication | IEEE Xplore