"El\u00E1nek popisuje a vyhodnocuje po\u00EDstup k urychlen\u00ED algoritmu pro zpitn\u00E9 odvozov\u00E1n\u00ED vstupn\u00EDch vektoru s pou3it\u00EDm ueen\u00ED zalo3en\u00E9ho na e\u00EDt\u00E1n\u00ED konfliktu a rekonfigurac\u00ED o\u00EDzen\u00ED v\u00FDpoetu. Je zde uvedena architektura zpitni-odvozuj\u00EDc\u00EDch obvodu. V\u00FDsledky jsou porovn\u00E1ny s HW implementac\u00ED z\u00E1kladn\u00EDho algoritmu pro zpitni odvozov\u00E1n\u00ED vektoru. Jako zku1ebn\u00ED \u00FAlohy byly pou3ity obvody ISCAS'85."@cs . "0-7695-2609-8" . "\u0160\u0165\u00E1va, Martin" . "U3it\u00ED ueen\u00ED zalo3en\u00E9ho na konfliktech k urychlen\u00ED algoritmu Backtrace implementovan\u00E9ho v hardware"@cs . "The paper describes and evaluates an approach for accelerating the backtrace algorithm using conflict-based on-line learning and reconfiguration of computation controlling. Architecture of circuits performing backward determination of all input vectors to a given output one is presented. Results are compared with HW implementation of the basic backtrace algorithm proposed recently. The experimental results were obtained for the ISCAS’85 benchmarks."@en . "Proceedings of 9th Euromicro Conference on Digital System Design" . . . "Cavtat" . "Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW" . . "2"^^ . "The paper describes and evaluates an approach for accelerating the backtrace algorithm using conflict-based on-line learning and reconfiguration of computation controlling. Architecture of circuits performing backward determination of all input vectors to a given output one is presented. Results are compared with HW implementation of the basic backtrace algorithm proposed recently. The experimental results were obtained for the ISCAS’85 benchmarks." . "6"^^ . . . . "RIV/68407700:21230/06:03121038!RIV07-GA0-21230___" . "Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW"@en . "[E759EA44B422]" . "Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW"@en . "U3it\u00ED ueen\u00ED zalo3en\u00E9ho na konfliktech k urychlen\u00ED algoritmu Backtrace implementovan\u00E9ho v hardware"@cs . . . "2"^^ . . "Los Alamitos" . . "251 ; 256" . . . . "21230" . . . "RIV/68407700:21230/06:03121038" . "P(1QS108040510), P(GA102/04/2137), Z(MSM6840770014)" . . . . . "Using Conflict-Based On-line Learning to Accelerate the Backtrace Algorithm Implemented in HW" . "IEEE Computer Society" . "Nov\u00E1k, Ond\u0159ej" . . "2006-08-30+02:00"^^ . . "505357" . "VLSI; backtrace; hardware; on-line learning"@en .