Large plateaus and plateau search in boolean satisfiability problems: When to give up searching and start again
