On the implementation of GNU Prolog D Diaz, S Abreu, P Codognet Theory and Practice of Logic Programming 12 (1-2), 253-282, 2012 | 758* | 2012 |
Compiling constraints in clp (FD) P Codognet, D Diaz The Journal of Logic Programming 27 (3), 185-226, 1996 | 369 | 1996 |
A Minimal Extension of the WAM for clp (FD) D Diaz, P Codognet ICLP, 774-790, 1993 | 201 | 1993 |
Dynamic adaptation of service compositions with variability models GH Alférez, V Pelechano, R Mazo, C Salinesi, D Diaz Journal of Systems and Software 91, 24-47, 2014 | 176 | 2014 |
Yet another local search method for constraint solving P Codognet, D Diaz Stochastic Algorithms: Foundations and Applications, 342-344, 2001 | 165 | 2001 |
Design and implementation of the GNU Prolog system D Diaz, P Codognet Journal of Functional and Logic Programming 6 (2001), 542, 2001 | 152 | 2001 |
wamcc: Compiling Prolog to C P Codognet, D Diaz 12th International Conference on Logic Programming, Tokyo, Japan, MIT Press, 1995 | 129 | 1995 |
GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains D Diaz | 106* | 2018 |
The GNU prolog system and its implementation D Diaz, P Codognet Proceedings of the 2000 ACM symposium on Applied computing-Volume 2, 728-732, 2000 | 92 | 2000 |
Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems P Sawyer, R Mazo, D Diaz, C Salinesi, D Hughes Special Issue in IEEE Computer Dynamic Software Product Lines, 1-12, 2012 | 91* | 2012 |
Constraints: The heart of domain and application engineering in the product lines engineering strategy R Mazo, C Salinesi, D Diaz, O Djebbi, A Lora-Michiels International Journal of Information System Modeling and Design (IJISMD) 3 …, 2012 | 65 | 2012 |
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, Int. Conf. on Logic Programming, 1994 | 59 | 1994 |
Recommendation heuristics for improving product line configuration processes R Mazo, C Dumitrescu, C Salinesi, D Diaz Recommendation Systems in Software Engineering, 511-537, 2014 | 55 | 2014 |
Constraints: The core of product line engineering C Salinesi, R Mazo, O Djebbi, D Diaz, A Lora-Michiels 2011 Fifth International Conference on Research Challenges in Information …, 2011 | 54 | 2011 |
A simple and efficient boolean solver for constraint logic programming P Codognet, D Diaz Journal of Automated Reasoning 17 (1), 97-128, 1996 | 49* | 1996 |
Transforming attribute and clone-enabled feature models into constraint programs over finite domains R Mazo, C Salinesi, D Diaz, A Lora-Michiels 6th International Conference on Evaluation of Novel Approaches to Software …, 2011 | 48 | 2011 |
Boolean constraint solving using clp (FD) P Codognet, D Diaz Proc. International Logic Programming Symposium, 525-539, 1993 | 45 | 1993 |
Experiments in parallel constraint-based local search Y Caniou, P Codognet, D Diaz, S Abreu European Conference on Evolutionary Computation in Combinatorial …, 2011 | 44 | 2011 |
Large-scale parallelism for constraint-based local search: the costas array case study Y Caniou, P Codognet, F Richoux, D Diaz, S Abreu Constraints 20, 30-56, 2015 | 41 | 2015 |
An efficient library for solving CSP with local search P Codognet, D Diaz MIC 3, 2003 | 41 | 2003 |