Selecting the Backtrack Literal in the AND/OR Model