Tereso Del Rio Almajano

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Propositional Satisfiability

Conflict Directed

Variable Ordering

Top Venues

J. Symb. Comput.

Publications

Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. J. Symb. Comput. 123 (2024)
Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. CoRR (2023)
Tereso Del Rio Almajano, Matthew England
Data Augmentation for Mathematical Objects. CoRR (2023)