Some computational aspects of DISTANCE SAT
scientific article; zbMATH DE number 5149178