G-RIDDLE : A Formal Analysis of Logic Designs Condiucive to the Acceleration of Backtracing.

Gabriel M. Silberman, Ilan Y. Spillinger

Browse the full ITC paper archive.