MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Philippe Codognet" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

24 documents found, showing 1 through 10. Next 10 →

ATOM

Abductive Reasoning : Backward and Forward
by Philippe Codognet
…Abductive Reasoning : Backward and Forward Philippe Codognet INRIA - Rocquencourt B. P. 105, 78…
Add To MetaCart

Behaviors for Virtual Creatures by Constraint-based Adaptive Search
by Philippe Codognet — 2001
…-based Adaptive Search Philippe Codognet University of Paris 6 and INRIA LIP6, case 169, 8 rue du Capitaine Scott…
Add To MetaCart

clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving
by Philippe Codognet, Daniel Diaz — 1994 — In Proc. of the 6th International Symposium of Programming Language Implementation and Logic Programming (PLILP'94
…clp(B) : Combining Simplicity and Efficiency in Boolean Constraint Solving Philippe Codognet…
Cited by 6 (2 self) – Add To MetaCart

The GNU Prolog System and its Implementation
by Daniel Diaz, Philippe Codognet — 2000
… Codognet University of Paris 6 LIP6, case 169 8, rue du Capitaine Scott 75015 Paris, France and INRIA…
Cited by 18 (2 self) – Add To MetaCart

Encoding Global Constraints in Semiring-based Constraint Solving
by Yan Georget, Philippe Codognet — In ICTAI98
…Encoding Global Constraints in Semiring-based Constraint Solving Yan Georget, Philippe Codognet…
Cited by 2 (2 self) – Add To MetaCart

NMCC Programming: Constraint Enforcement and Retraction in CC Programming
by Philippe Codognet, Francesca Rossi — 1995 — in CC Programming. Proc. ICLP'95, 12th International Conference on Logic Programming
…NMCC Programming: Constraint Enforcement and Retraction in CC Programming Philippe Codognet INRIA…
Cited by 4 (2 self) – Add To MetaCart

Compiling Semiring-based Constraints with ...
by Yan Georget, Philippe Codognet — 1998 — In M.Maher and J-F. Puget, editors, Proc. CP98. Springer-Verlag, LNCS 1520
…Compiling Semiring-based Constraints with clp(FD,S) Yan Georget, Philippe Codognet ? INRIA…
Cited by 33 (8 self) – Add To MetaCart

Yet Another Local Search Method for Constraint Solving
by Philippe Codognet, Daniel Diaz — 2001 — In AAAI Fall Symposium on Using Uncertainty within Computation, Cape Cod
…Yet Another Local Search Method for Constraint Solving Philippe Codognet University of Paris 6…
Cited by 21 (1 self) – Add To MetaCart

Design and Implementation of the GNU Prolog System
by Daniel Diaz, Philippe Codognet — 2001 — Journal of Functional and Logic Programming
…Design and Implementation of the GNU Prolog System Daniel Diaz Philippe Codognet University…
Cited by 23 (3 self) – Add To MetaCart

wamcc: Compiling Prolog to C
by Philippe Codognet, Daniel Diaz — 1995 — IN 12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
…wamcc: Compiling Prolog to C Philippe Codognet and Daniel Diaz INRIA-Rocquencourt Domaine de…
Cited by 32 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB