Variable Ordering Selection for Cylindrical Algebraic Decomposition via Reinforcement Learning

JING Ruijuan; QIAN Chengrong; CHEN Changbo

doi:10.12341/jssms22799

JING Ruijuan, QIAN Chengrong, CHEN Changbo

Journal of Systems Science and Mathematical Sciences ›› 2024, Vol. 44 ›› Issue (9) : 2826-2849.

PDF(2358 KB)

Journal of Systems Science and Mathematical Sciences ›› 2024, Vol. 44 ›› Issue (9) : 2826-2849. DOI: 10.12341/jssms22799

Variable Ordering Selection for Cylindrical Algebraic Decomposition via Reinforcement Learning

{{article.zuoZhe_EN}}

Author information +

History +

HeighLight

Abstract

Key words

QR code of this article

Cite this article

EndNote

Ris (Procite)

Bibtex

Download Citations

{{article.zuoZheEn_L}}. {{article.title_en}}. Journal of System Science and Mathematical Science Chinese Series, 2024, 44(9): 2826-2849 https://doi.org/10.12341/jssms22799

References

Publishing order | Descend order by publishing year | Descend order by cited within

References

Funding

RIGHTS & PERMISSIONS

PDF(2358 KB)

Accesses

Citation

Detail

Sections

Recommended

Received	Revised	Published
2022-11-16	2023-11-15	2024-09-25
Just Accepted Date	Issue Date
2023-11-15	2024-09-10

Please choose a citation manager

Content to export