Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW.

Martin Stva, Ondrej Novk

Browse the full DSD paper archive.