For seminal contributions to scalable Boolean satisfiability solving
including locality-based search and efficient backtracking.

Proc. of the 38th annual Design Automation Conference, pp. 530 - 535, June 2001.