| Compiling constraints in clp (FD) P Codognet, D Diaz The Journal of Logic Programming 27 (3), 185-226, 1996 | 360 | 1996 |
| A minimal extension of the WAM for clp (FD) D Diaz, P Codognet | 197 | 1993 |
| Yet another local search method for constraint solving P Codognet, D Diaz Stochastic Algorithms: Foundations and Applications: International Symposium …, 2001 | 163 | 2001 |
| Design and implementation of the gnu prolog system D Diaz, P Codognet Journal of Functional and Logic Programming 6 (2001), 542, 2001 | 153 | 2001 |
| Parallel logic programming systems JC De Kergommeaux, P Codognet ACM Computing Surveys (CSUR) 26 (3), 295-336, 1994 | 129 | 1994 |
| wamcc: Compiling Prolog to C P Codognet, D Diaz | 120 | 1995 |
| 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 | 88 | 2000 |
| Abstract interpretation for concurrent logic languages C Codognet, P Codognet, MM Corsini Proceedings of the 1990 North American conference on Logic programming, 215-232, 1990 | 77 | 1990 |
| Abstracting soft constraints: Framework, properties, examples S Bistarelli, P Codognet, F Rossi Artificial Intelligence 139 (2), 175-211, 2002 | 71 | 2002 |
| Compiling semiring-based constraints with clp (fd, s) Y Georget, P Codognet International Conference on Principles and Practice of Constraint …, 1998 | 57 | 1998 |
| 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 |
| An Incremental Hierarchical Constraint Solver. F Menezes, P Barahona, P Codognet PPCP 93, 190-199, 1993 | 44 | 1993 |
| A simple and efficient boolean solver for constraint logic programming P Codognet, D Diaz Journal of Automated Reasoning 17, 97-128, 1996 | 43 | 1996 |
| On the implementation of GNU Prolog D Diaz, S Abreu, P Codognet Theory and Practice of Logic Programming 12 (1-2), 253-282, 2012 | 42 | 2012 |
| Boolean Constraint Solving Using clp (FD). P Codognet, D Diaz ILPS 93, 525-539, 1993 | 42 | 1993 |
| Computations, abstractions and constraints in logic programs P Codognet, G Filé Proceedings of the 1992 International Conference on Computer Languages, 155-164, 1992 | 42 | 1992 |
| An efficient library for solving CSP with local search P Codognet, D Diaz MIC 3, 2003 | 41 | 2003 |
| Solving hard stable matching problems via local search and cooperative parallelization D Munera, D Diaz, S Abreu, F Rossi, V Saraswat, P Codognet Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 40 | 2015 |
| 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 | 40 | 2015 |
| Musical constraint satisfaction problems solved with adaptive search C Truchet, P Codognet Soft Computing 8 (9), 633-640, 2004 | 40 | 2004 |
Daniel DiazAssociate Professor of Computing Science, University Paris 1 Pantheon-SorbonneVerified email at univ-paris1.fr
