Login / Signup

Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure.

Haokun LiBican XiaHuiying ZhangTao Zheng
Published in: J. Symb. Comput. (2023)
Keyphrases
  • knowledge base
  • data sets
  • machine learning
  • evolutionary algorithm
  • hierarchical structure
  • structural information
  • structural properties