Works by or with David Mitchell in the bibliography:Hard and easy distributions of SAT problems (1992)