Login / Signup
Boolean Formula-Based Branch Prediction for Future Technologies.
Daniel A. Jiménez
Heather L. Hanson
Calvin Lin
Published in:
IEEE PACT (2001)
Keyphrases
</>
linear programming
boolean formula
data mining
learning theory
sat solvers
genetic algorithm
learning algorithm
orders of magnitude
test collection
conjunctive normal form