| Compiling constraints in clp (FD) P Codognet, D Diaz The Journal of Logic Programming 27 (3), 185-226, 1996 | 346 | 1996 |
| A Minimal Extension of the WAM for clp (FD). D Diaz, P Codognet ICLP, 774-790, 1993 | 186 | 1993 |
| Yet another local search method for constraint solving P Codognet, D Diaz International Symposium on Stochastic Algorithms, 73-90, 2001 | 148 | 2001 |
| Design and implementation of the gnu prolog system D Diaz, P Codognet Journal of Functional and Logic Programming 6 (2001), 542, 2001 | 147 | 2001 |
| Parallel logic programming systems JC De Kergommeaux, P Codognet ACM Computing Surveys (CSUR) 26 (3), 295-336, 1994 | 147 | 1994 |
| WAMCC: Compiling Prolog to C. P Codognet, D Diaz ICLP, 317-331, 1995 | 102 | 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 | 81 | 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 | 71 | 1990 |
| Abstracting soft constraints: Framework, properties, examples S Bistarelli, P Codognet, F Rossi Artificial Intelligence 139 (2), 175-211, 2002 | 64 | 2002 |
| Compiling semiring-based constraints with clp (fd, s) Y Georget, P Codognet International Conference on Principles and Practice of Constraint …, 1998 | 55 | 1998 |
| A simple and efficient boolean solver for constraint logic programming P Codognet, D Diaz Journal of Automated Reasoning 17 (1), 97-128, 1996 | 44 | 1996 |
| An Incremental Hierarchical Constraint Solver. F Menezes, P Barahona, P Codognet PPCP 93, 1993 | 41 | 1993 |
| Experiments in parallel constraint-based local search Y Caniou, P Codognet, D Diaz, S Abreu European Conference on Evolutionary Computation in Combinatorial …, 2011 | 40 | 2011 |
| Computations, abstractions and constraints in logic programs P Codognet, G Filé Proceedings of the 1992 International Conference on Computer Languages, 155-164, 1992 | 39 | 1992 |
| Boolean Constraint Solving Using clp (FD). P Codognet, D Diaz ILPS 93, 525-539, 1993 | 38 | 1993 |
| An efficient library for solving CSP with local search P Codognet, D Diaz MIC 3, 2003 | 37 | 2003 |
| Constraint retraction in clp (fd): Formal framework and performance results Y Georget, P Codognet, F Rossi Constraints 4 (1), 5-42, 1999 | 37 | 1999 |
| Yet another intelligent backtracking method C Codognet, P Codognet, G File ICLP/SLP, 447-465, 1988 | 37 | 1988 |
| Computations, abstractions and constraints P Codognet, G File JTASPEFT/WSA, 70-71, 1991 | 36 | 1991 |
| On the implementation of GNU Prolog D Diaz, S Abreu, P Codognet Theory and Practice of Logic Programming 12 (1-2), 253-282, 2012 | 34 | 2012 |
Daniel DiazAssociate Professor of Computing Science, University Paris 1Verified email at univ-paris1.fr
