General branch and bound, and its relation to A* and AO*