Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning

Oct-9-2025, 11:21:25 GMT–Neural Information Processing Systems

The other is GRL-SVO(NUP), a fast heuristic providing a total order directly.

machine learning, polynomial, reinforcement learning, (15 more...)

Neural Information Processing Systems

Oct-9-2025, 11:21:25 GMT

Conferences PDF

Country:
- Asia > China
  - Beijing > Beijing (0.04)
- Europe
  - Italy > Calabria
    - Catanzaro Province > Catanzaro (0.04)
  - Slovenia > Drava
    - Municipality of Benedikt > Benedikt (0.04)
  - United Kingdom > England
    - Cambridgeshire > Cambridge (0.04)
- North America
  - Canada > Quebec
    - Montreal (0.04)
  - United States
    - Alaska > Anchorage Municipality
      - Anchorage (0.04)
    - California > Santa Clara County
      - Palo Alto (0.04)

Technology:
- Information Technology > Artificial Intelligence
  - Machine Learning
    - Neural Networks (1.00)
    - Reinforcement Learning (0.82)
  - Representation & Reasoning (1.00)

Duplicate Docs Excel Report

Title
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning

Similar Docs Excel Report more

Title	Similarity	Source
None found