Bart Selman
AT&T Research Labs, 600-700 Mountain Avenue, Murray Hill, NJ
Phase transitions and the search problem
Artificial Intelligence - Special volume on frontiers in problem solving: phase transitions and complexity