| Compiling constraints in clp (FD) P Codognet, D Diaz The Journal of Logic Programming 27 (3), 185-226, 1996 | 363 | 1996 |
| A Minimal Extension of the WAM for clp (FD). D Diaz, P Codognet ICLP, 774-790, 1993 | 201 | 1993 |
| Yet another local search method for constraint solving P Codognet, D Diaz Stochastic Algorithms: Foundations and Applications: International Symposium …, 2001 | 164 | 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 |
| Parallel logic programming systems JC De Kergommeaux, P Codognet ACM Computing Surveys (CSUR) 26 (3), 295-336, 1994 | 126 | 1994 |
| WAMCC: Compiling Prolog to C. P Codognet, D Diaz ICLP, 317-331, 1995 | 113 | 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 | 81 | 1990 |
| Abstracting soft constraints: Framework, properties, examples S Bistarelli, P Codognet, F Rossi Artificial Intelligence 139 (2), 175-211, 2002 | 70 | 2002 |
| Compiling semiring-based constraints with clp (fd, s) Y Georget, P Codognet International Conference on Principles and Practice of Constraint …, 1998 | 57 | 1998 |
| Computations, abstractions and constraints in logic programs P Codognet, G File Proceedings of the 1992 International Conference on Computer Languages, 155-164, 1992 | 48 | 1992 |
| A simple and efficient boolean solver for constraint logic programming P Codognet, D Diaz Journal of Automated Reasoning 17, 97-128, 1996 | 46 | 1996 |
| Boolean Constraint Solving Using clp (FD). P Codognet, D Diaz ILPS 93, 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 |
| An Incremental Hierarchical Constraint Solver. F Menezes, P Barahona, P Codognet PPCP 93, 190-199, 1993 | 44 | 1993 |
| 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 |
| An efficient library for solving CSP with local search P Codognet, D Diaz MIC 3, 2003 | 42 | 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 | 41 | 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 | 41 | 2015 |
| A GPU implementation of parallel constraint-based local search A Arbelaez, P Codognet 2014 22nd euromicro international conference on parallel, distributed, and …, 2014 | 41 | 2014 |
Daniel DiazAssociate Professor of Computing Science, University Paris 1 Pantheon-SorbonneDirección de correo verificada de univ-paris1.fr
