Heuristic search and pruning in polynomial constraints satisfaction
satisfiability of polynomial constraints
scientific article; zbMATH DE number 1078879