Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure
scientific article; zbMATH DE number 7621056
scientific article