Tractable decision for a constraint language implies tractable search
scientific article; zbMATH DE number 2146194