An algorithmic pattern that considers multiple possibilities and undoes part of the candidate solution when that solution does not work.