Follow
Philippe Codognet
Philippe Codognet
JFLI - CNRS / UPMC / University of Tokyo
Verified email at lip6.fr
Title
Cited by
Cited by
Year
Compiling constraints in clp (FD)
P Codognet, D Diaz
The Journal of Logic Programming 27 (3), 185-226, 1996
3521996
A Minimal Extension of the WAM for clp (FD).
D Diaz, P Codognet
ICLP, 774-790, 1993
1901993
Yet another local search method for constraint solving
P Codognet, D Diaz
Stochastic Algorithms: Foundations and Applications: International Symposiumá…, 2001
1602001
Design and implementation of the gnu prolog system
D Diaz, P Codognet
Journal of Functional and Logic Programming 6 (2001), 542, 2001
1502001
Parallel logic programming systems
JC De Kergommeaux, P Codognet
ACM Computing Surveys (CSUR) 26 (3), 295-336, 1994
1271994
WAMCC: Compiling Prolog to C.
P Codognet, D Diaz
ICLP, 317-331, 1995
1121995
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
862000
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
721990
Abstracting soft constraints: Framework, properties, examples
S Bistarelli, P Codognet, F Rossi
Artificial Intelligence 139 (2), 175-211, 2002
662002
Compiling semiring-based constraints with clp (fd, s)
Y Georget, P Codognet
Principles and Practice of Constraint Programming—CP98: 4th Internationalá…, 1998
571998
A simple and efficient boolean solver for constraint logic programming
P Codognet, D Diaz
Journal of Automated Reasoning 17, 97-128, 1996
451996
Experiments in parallel constraint-based local search
Y Caniou, P Codognet, D Diaz, S Abreu
Evolutionary Computation in Combinatorial Optimization: 11th Europeaná…, 2011
432011
An Incremental Hierarchical Constraint Solver.
F Menezes, P Barahona, P Codognet
PPCP 93, 190-199, 1993
431993
Boolean Constraint Solving Using clp (FD).
P Codognet, D Diaz
ILPS 93, 525-539, 1993
421993
Computations, abstractions and constraints in logic programs
P Codognet, G FilÚ
Proceedings of the 1992 International Conference on Computer Languages, 155-164, 1992
421992
Yet another intelligent backtracking method
C Codognet, P Codognet, G File
ICLP/SLP, 447-465, 1988
401988
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
382015
A GPU implementation of parallel constraint-based local search
A Arbelaez, P Codognet
2014 22nd Euromicro International Conference on Parallel, Distributed, andá…, 2014
382014
On the implementation of GNU Prolog
D Diaz, S Abreu, P Codognet
Theory and Practice of Logic Programming 12 (1-2), 253-282, 2012
382012
An efficient library for solving CSP with local search
P Codognet, D Diaz
MIC 3, 2003
382003
The system can't perform the operation now. Try again later.
Articles 1–20