Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
scientific article; zbMATH DE number 2057453