Boolean Formula-Based Branch Prediction for Future Technologies. - Daniel A. Jiménez; Heather L. Hanson; Calvin Lin (IEEE PACT, 2001)