A dataset for suggesting variable orderings for cylindrical algebraic decompositions
scientific article; zbMATH DE number 7964704