They start from a prospective solution and then move to a neighboring solution. They can return a valid solution even if it is interrupted at any time before they end.