Tereso del Río

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Complexity Analysis

Propositional Satisfiability

Variable Ordering

Top Venues

ACM Commun. Comput. Algebra

SC-Square@ISSAC

Publications

Tereso del Río, Matthew England
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD. CoRR (2024)
Tereso del Río, AmirHosein Sadeghimanesh, Matthew England
Clustering in the Lazard method for Cylindrical Algebraic Decomposition. ACM Commun. Comput. Algebra 57 (3) (2023)
Tereso del Río, Matthew England
Data Augmentation for Mathematical Objects. SC-Square@ISSAC (2023)
Tereso del Río, Matthew England
New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis. CASC (2022)
Tereso del Río, Matthew England
New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis. CoRR (2022)