Martin Stáva, Ondrej Novák. Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW. In Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia. pages 251-256, IEEE Computer Society, 2006. [doi]
Abstract is missing.