Barbara M. Smith In Search of Exceptionally Difficult Constraint Satisfaction Problems. 139-155 1995 conf/cp/1995s Constraint Processing, Selected Papers db/conf/cp/cp1995s.html#Smith95 https://doi.org/10.1007/3-540-59479-5_23