Travelled to:1 × Portugal
1 × Spain
1 × Taiwan
1 × USA
2 × China
Collaborated with:E.Monfroy B.Crawford P.Borovanský ∅ C.Figueroa C.Lagos F.Paredes T.Lambert M.C.Riff F.Saubion
Talks about:constraint (3) algorithm (2) approach (2) solver (2) hybrid (2) cooper (2) solv (2) use (2) evolutionari (1) curricula (1)
Person: Carlos Castro
DBLP: Castro:Carlos
Contributed to:
2011
20072007
2007
20052003
19981996Wrote 8 papers:
- SAC-2011-MonfroyCCF #adaptation
- Adaptive hybridization strategies (EM, CC, BC, CF), pp. 922–923.
- HIMI-IIE-2007-CastroCM #approach #design #education
- A Quantitative Approach for the Design of Academic Curricula (CC, BC, EM), pp. 279–288.
- HIMI-MTT-2007-CrawfordCM #algorithm #development #information management #optimisation
- Knowledge Management in the Development of Optimization Algorithms (BC, CC, EM), pp. 604–612.
- ICEIS-AIDSS-2007-CrawfordLCP #approach #set
- A Evolutionary Approach to Solve Set Covering (BC, CL, CC, FP), pp. 356–363.
- ICLP-2005-LambertCMRS #algorithm #constraints #search-based
- Hybridization of Genetic Algorithms and Constraint Propagation for the BACP (TL, CC, EM, MCR, FS), pp. 421–423.
- SAC-2003-MonfroyC #component #constraints #theorem proving
- Basic Components for Constraint Solver Cooperations (EM, CC), pp. 367–374.
- WRLA-1998-BorovanskyC #constraints #process #theorem proving #using
- Cooperation of constraint solvers: using the new process control facilities of ELAN (PB, CC), pp. 1–20.
- RWLW-1996-Castro #csp #using
- Solving binary CSP using computational systems (CC), pp. 246–265.