Backdoors to typical case complexity (2003)

by Ryan Williams, Carla Gomes, Bart Selman
Venue:In Proc. International Joint Conference on Artificial Intelligence (IJCAI