EC4313/EC4313HM Search Theory and Applications [2220]