Sign in

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks.

Changbo ChenZhangpeng ZhuHaoyu Chi
Published in: ICMS (2020)
Keyphrases
  • variable ordering
  • artificial neural networks
  • branch and bound algorithm
  • neural network
  • conflict directed
  • strongly connected components
  • forward checking
  • max sat
  • lower bound
  • branch and bound