Follow
Sonia Estévez Martín
Sonia Estévez Martín
Profesora en la Facultad de Informática UCM, Madrid
Verified email at fdi.ucm.es
Title
Cited by
Cited by
Year
On the Cooperation of the Constraint Domains H, R and FD in CFLP
S Estévez-Martín, T HortalÁ-gonzÁlez, R del Vado-Vírseda, ...
Arxiv preprint arXiv:0904.2136, 2009
25*2009
A proposal for the cooperation of solvers in constraint functional logic programming
S Estévez-Martín, AJ Fernández, T Hortalá-González, ...
Electronic Notes in Theoretical Computer Science 188, 37-51, 2007
152007
A tool-supported framework for work planning on construction sites based on constraint programming
A Camacho, PC Cañizares, S Estévez, M Núñez
Automation in Construction 86, 190-198, 2018
142018
años de historia de las Empresas de Participación
G Lejarriaga, S Martin, A Muñoz
Madrid: Editorial Verbum, 40
1340
Las sociedades laborales
G Lejarriaga, S Martín
La Economía Social en España en el año, 335-404, 2008
122008
A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme
S Estévez Martín, AJ Fernández, MT Hortalá González, ...
Electronic Notes in Theoretical Computer Science 177, 235-252, 2007
112007
Estudio para la ordenación de la actividad extractiva del tramo bajo del Río Jarama
I Bardají, P Cabra, JP Calvo, RG de Mingo, S Martín, J Mogrovejo, ...
Agencia de Medioambiente (Comunidad de Madrid). Servicio de Estudios y …, 1990
81990
Designing an efficient computation strategy in CFLP(FD) using definitional trees
SE Martín, R del Vado Vírseda
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic …, 2005
72005
Cooperation of constraint domains in the TOY system
S Estévez-Martín, AJ Fernández, T Hortalá-González, ...
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
62008
Mobile applications for people with Parkinson's disease: a systematic search in app stores and content review
S Estévez Martín, E Cambronero Piqueras, Y García Ruiz, LF Llana Díaz
Know-Center, 2019
52019
Extending the System with the ECL i PS e Solver over Sets of Integers
S Estévez-Martín, J Correas Fernández, F Sáenz-Pérez
International Symposium on Functional and Logic Programming, 120-135, 2012
52012
Manual de Educación Patrimonial
O Fontal, S Pérez, S Martín
Gijón: Ediciones Trea, 2012
52012
Cooperation of the finite domain and set solvers in TOY
SE Martín, AF Caballero, FS Pérez
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE …, 2009
52009
Creación de un curso sobre Metodología y Tecnología de la Información para su uso en un Campus Virtual
A Sarasa Cabezuelo, S Estévez Martín, FJ Crespo Yáñez
Editorial Complutense, 2005
52005
El libro del huevo
A Sastre, RM Ortega, F Tortuero, G Suárez, G Vergara, C López, ...
Instituto del Huevo. Madrid, España, 2003
52003
Enhancing set constraint solvers with bound consistency
J Correas, SE Martín, F Sáenz-Pérez
Expert Systems with Applications 92, 485-494, 2018
42018
SINPA: SupportINg the automation of construction PlAnning
PC Cañizares, S Estévez-Martín, M Núñez
Expert Systems with Applications 190, 116149, 2022
32022
Playing with: Constraints and Domain Cooperation
S Estévez-Martín, AJ Fernández, F Sáenz-Pérez
European Symposium on Programming, 112-115, 2008
32008
Respiratory Distress Syndrome: A Suggestive Pattern of Shunt Effect Detected by Means of Macroparticles
A Maldonado, M Domper, MJ Garcia, J Arbizu, S Martin, J Richter
Clinical nuclear medicine 18 (1), 19-21, 1993
31993
TOY: a CFLP language and system
I Castiñeiras, J Correas, S Estévez-Martín, F Sáenz-Pérez
The Association for Logic Programming, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20