Bart Selman

Works by or with Bart Selman in the bibliography:

• Hard and easy distributions of SAT problems (1992)