AND/OR Branch-and-Bound Search for Pure 0/1 Integer Linear Programming Problems