A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming
Keywords: پدیده آستانه; Generalized solution concepts; Super solutions; Satisfiability; Constraint satisfaction; Random instances; Probabilistic method; Threshold phenomena;