... for each variable, TRUE or FALSE, satisfying all the clauses. An assignment is said to conflict with any clause it does not satisfy. Boolean variables adiabatic limit backtracking cost phase function minimum gap problem structure scaling behavior unstructured search 223 Phase transitions have long...