Sonia Estévez Martín

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 3

Top Topics

Constraint Solvers

Mobile Platforms

Systematic Search

Top Venues

Expert Syst. Appl.

J. Univers. Comput. Sci.

Publications

Pablo C. Cañizares, Sonia Estévez Martín, Manuel Núñez
SINPA: SupportINg the automation of construction PlAnning. Expert Syst. Appl. 190 (2022)
Sonia Estévez Martín, María-Emilia Cambronero, Yolanda García-Ruiz, Luis Llana
Mobile Applications for People with Parkinson's Disease: A Systematic Search in App Stores and Content Review. J. Univers. Comput. Sci. 25 (7) (2019)
Jesús Correas Fernández, Sonia Estévez Martín, Fernando Sáenz-Pérez
Enhancing set constraint solvers with bound consistency. Expert Syst. Appl. 92 (2018)
Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez
Extending the TOY System with the ECLiPSe Solver over Sets of Integers. FLOPS (2012)
Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández
On the Cooperation of the Constraint Domains H, R and FD in CFLP CoRR (2009)
Sonia Estévez Martín, Antonio José Fernández Leiva, Fernando Sáenz-Pérez
TOY: A System for Experimenting with Cooperation of Constraint Domains. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández
in CFLP. Theory Pract. Log. Program. 9 (4) (2009)
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
system. PPDP (2008)
Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez
Playing with TOY: Constraints and Domain Cooperation. ESOP (2008)
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. Electron. Notes Theor. Comput. Sci. 188 (2007)
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. Electron. Notes Theor. Comput. Sci. 177 (2007)
Sonia Estévez Martín, Rafael del Vado Vírseda
using definitional trees. WCFLP (2005)