A Very Intelligent Backtracking Method for Logic Programs. - Christian Codognet; Philippe Codognet; Gilberto Filé (ESOP, 1986)

Backtracking intelligent en programmation logique. - Christian Codognet; Philippe Codognet; Gilberto Filé (SPLT, 1986)

Programmation logique parallèle 87. - Philippe Codognet (SPLT, 1987)

Yet Another Intelligent Backtracking Method. - Christian Codognet; Philippe Codognet; Gilberto Filé (ICLP/SLP, 1988)

Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. - Christian Codognet; Philippe Codognet (ICLP, 1989)

Equations, Disequations and Unsolvable Subsets (abstract). - Philippe Codognet (ISSAC, 1990)

Abstract Interpretation from Prolog to Concurrent Prolog. - Christian Codognet; Philippe Codognet; Marc-Michel Corsini (SPLT, 1990)

A Metalanguage for Representation and Control in Assumption-based Problem Solvers. - Pierre Savéant; Philippe Codognet (SEKE, 1990)

Abstract Interpretation for Concurrent Logic Languages. - Christian Codognet; Philippe Codognet; Marc-Michel Corsini (NACLP, 1990)

Extending the WAM for Intelligent Backtracking. - Philippe Codognet; Thierry Sola (ICLP, 1991)

Computations, Abstractions and Constraints (abstract). - Philippe Codognet; Gilberto Filé (JTASPEFT/WSA, 1991)

A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. - Philippe Codognet; François Fages; Thierry Sola (WCLP, 1991)

Computations, abstractions and constraints in logic programs. - Philippe Codognet; Gilberto Filé (ICCL, 1992)

Improving Backward Execution in the Andorra Family of Languages. - Salvador Abreu; Luís Moniz Pereira; Philippe Codognet (JICSLP, 1992)

A Prototype Compiler for Prolog with Boolean Constraints. - Giovanna M. Dore; Philippe Codognet (GULP, 1993)

Boolean Constraint Solving Using clp(FD). - Philippe Codognet; Daniel Diaz 001 (ICLP Workshop on Concurrent Constraint Programming, 1993)

A Minimal Extension of the WAM for clp(FD). - Daniel Diaz 001; Philippe Codognet (ICLP, 1993)

An Incremental Hierarchical Constraint Solver. - Francisco Menezes; Pedro Barahona; Philippe Codognet (PPCP, 1993)

Path Consistency in clp(FD). - Philippe Codognet; Giuseppe Nardiello (CCL, 1994)

Abduction and Concurrent Logic Languages. - Christian Codognet; Philippe Codognet (ECAI, 1994)

Finite Domain Constraints in the ML Functional Language. - Emmanuel Chailloux; Christian Codognet; Philippe Codognet (ICTAI, 1994)

Programmation Concurrente avec Contraintes. - Philippe Codognet (JFPLC, 1994)

Sleepers: A Versatile High-Level Control Mechanism. - Christian Codognet; Philippe Codognet; Vincenzo Loia; Michel Quaggetto (PLILP, 1994)

clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. - Philippe Codognet; Daniel Diaz 001 (PLILP, 1994)

Parallel Logic Programming Systems. - Jacques Chassin de Kergommeaux; Philippe Codognet (ACM Comput. Surv., 1994)

Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods - Philippe Codognet; Giuseppe Nardiello (Constraint Programming, 1994)

Guarded Constructive Disjunction: Angel or Demon? - Christian Codognet; Philippe Codognet (CP, 1995)

A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. - Christian Codognet; Philippe Codognet (Constraint Processing, Selected Papers, 1995)

WAMCC: Compiling Prolog to C. - Philippe Codognet; Daniel Diaz 001 (ICLP, 1995)

NMCC Programming: Constraint Enforcement and Retracting in CC Programming. - Philippe Codognet; Francesca Rossi 001 (ICLP, 1995)

The clp(FD) system. - Philippe Codognet; Daniel Diaz 001 (JFPLC, 1995)

Constraint Reaction in FD. - Philippe Codognet; Daniel Diaz 001; Francesca Rossi 001 (FSTTCS, 1996)

The Virtuality of Constraints and the Constraints of Virtuality. - Philippe Codognet (ACM Comput. Surv., 1996)

A Simple and Efficient Boolean Solver for Constraint Logic Programming. - Philippe Codognet; Daniel Diaz 001 (J. Autom. Reason., 1996)

Compiling Constraints in clp(FD). - Philippe Codognet; Daniel Diaz 001 (J. Log. Program., 1996)

Implementing Constraint Retraction for Finite Domains. - Yan Georget; Philippe Codognet; Francesca Rossi 001 (ASIAN, 1997)

Toward Visual Constraint Programming. - Emmanuel Chailloux; Philippe Codognet (VL, 1997)

Compiling Semiring-Based Constraints with clp (FD, S). - Yan Georget; Philippe Codognet (CP, 1998)

Using constraints to describe high-level behaviours in virtual worlds. - Nadine Richard; Philippe Codognet; Alain Grumbach (Eurographics (Short Presentations), 1998)

Encoding global constraints in semiring-based constraint solving. - Yan Georget; Philippe Codognet (ICTAI, 1998)

Foreword: Concurrent Constraint Programming. - Philippe Codognet (Sci. Comput. Program., 1998)

Labeling and Partial Arc Consistency for Soft Constraints. - Stefano Bistarelli; Philippe Codognet; Yan Georget; Fabio Rossi (APPIA-GULP-PRODE, 1999)

Abstracting Soft Constraints. - Stefano Bistarelli; Philippe Codognet; Yan Georget; Francesca Rossi 001 (New Trends in Constraints, 1999)

A Constraint-Based Language for Virtual Agents. - Philippe Codognet (New Trends in Constraints, 1999)

The InViWo virtual agents. - Nadine Richard; Philippe Codognet; Alain Grumbach (Eurographics (Short Presentations), 1999)

Mondes virtuels et systèmes multi-agents (poster). - Nadine Richard; Philippe Codognet; Alain Grumbach (JFIADSMA, 1999)

Declarative behaviors for virtual creatures. - Philippe Codognet (SIGGRAPH Abstracts and Applications, 1999)

An Historical Account of Indexical Images: from Ancient Art to the Web. - Philippe Codognet (VL, 1999)

Constraint Retraction in CLP(FD): Formal Framework and Performance Results. - Yan Georget; Philippe Codognet; Francesca Rossi 001 (Constraints An Int. J., 1999)

Labeling and Partial Local Consistency for Soft Constraint Programming. - Stefano Bistarelli; Philippe Codognet; Yan Georget; Francesca Rossi 001 (PADL, 2000)

GNU Prolog: Beyond Compiling Prolog to C. - Daniel Diaz 001; Philippe Codognet (PADL, 2000)

The GNU Prolog System and its Implementation. - Daniel Diaz 001; Philippe Codognet (SAC (2), 2000)

An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. - Stefano Bistarelli; Philippe Codognet; Francesca Rossi 001 (SARA, 2000)

A Constraint - Based Language for Autonomous Agents in Virtual Worlds. - Philippe Codognet (WLP, 2000)

Visual and Adaptive Constraint Programming in Music. - Charlotte Truchet; Gérard Assayag; Philippe Codognet (ICMC, 2001)

The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars. - Nadine Richard; Philippe Codognet; Alain Grumbach (IVA, 2001)

Yet Another Local Search Method for Constraint Solving. - Philippe Codognet; Daniel Diaz 001 (SAGA, 2001)

Introduction to the Special Issue on Constraints for Multimedia Artistic Applications. - François Pachet; Philippe Codognet (Constraints An Int. J., 2001)

Design and Implementation of the GNU Prolog System. - Daniel Diaz 001; Philippe Codognet (J. Funct. Log. Program., 2001)

Intelligent Agents in Virtual Worlds. - Philippe Codognet (ADVIS, 2002)

Multi-goal path-finding for autonomous agents in virtual worlds. - Philippe Codognet (IWEC, 2002)

Abstracting soft constraints: Framework, properties, examples. - Stefano Bistarelli; Philippe Codognet; Francesca Rossi 001 (Artif. Intell., 2002)

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. - Stefano Bistarelli; Philippe Codognet; Kin Chuen Hui; Jimmy Ho-Man Lee (IJCAI, 2003)

Speculative Constraint Processing in Multi-agent Systems. - Ken Satoh; Philippe Codognet; Hiroshi Hosobe (PRIMA, 2003)

Code-Based Test Generation for Validation of Functional Processor Descriptions. - Fabrice Baray; Philippe Codognet; Daniel Diaz 001; Henri Michel (TACAS, 2003)

Guest Editorial. - Philippe Codognet; Francesca Rossi 001 (Constraints An Int. J., 2003)

Créatures virtuelle. - Nadine Richard; Philippe Codognet; Alain Grumbach (Tech. Sci. Informatiques, 2003)

Musical constraint satisfaction problems solved with adaptive search. - Charlotte Truchet; Philippe Codognet (Soft Comput., 2004)

Agent-Based Speculative Constraint Processing. - Hiroshi Hosobe; Ken Satoh; Philippe Codognet (IEICE Trans. Inf. Syst., 2007)

The palimpsest system. - Philippe Codognet (ACM Multimedia, 2008)

Red light spotters: images-driven sound and rhythm landscape. - Philippe Codognet; Gilbert Nouno (SAME, 2008)

Swarm Intelligence for Generative Music. - Philippe Codognet; Olivier Pasquet (ISM, 2009)

Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) - Salvador Abreu; Daniel Diaz 001; Philippe Codognet (LSCS, 2009)

Solving finite domain constraint hierarchies by local consistency and tree search. - Stefano Bistarelli; Philippe Codognet; H. K. C. Hui; Jimmy Ho-Man Lee (J. Exp. Theor. Artif. Intell., 2009)

Digital collages. - Philippe Codognet (Advances in Computer Entertainment Technology, 2010)

Sound Agents. - Philippe Codognet; Olivier Pasquet (EvoApplications (2), 2010)

Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. - Daniel Diaz 001; Salvador Abreu; Philippe Codognet (IDC, 2010)

Opening the Can: Public Interaction with Ready-Made Contents. - Shlomo Dubnov; Philippe Codognet (ECS, 2010)

Experiments in Parallel Constraint-Based Local Search. - Yves Caniou; Philippe Codognet; Daniel Diaz 001; Salvador Abreu (EvoCOP, 2011)

Communication in Parallel Algorithms for Constraint-Based Local Search. - Yves Caniou; Philippe Codognet (IPDPS Workshops, 2011)

Parallel constraint-based local search on the HA8000 supercomputer (abstract). - Yves Caniou; Philippe Codognet; Daniel Diaz 001; Salvador Abreu (SAC, 2011)

Massively Parallel Local Search for SAT. - Alejandro Arbelaez; Philippe Codognet (ICTAI, 2012)

Parallel Local Search for the Costas Array Problem. - Daniel Diaz 001; Florian Richoux; Yves Caniou; Philippe Codognet; Salvador Abreu (IPDPS Workshops, 2012)

Constraint-Based Local Search for the Costas Array Problem. - Daniel Diaz 001; Florian Richoux; Philippe Codognet; Yves Caniou; Salvador Abreu (LION, 2012)

Performance analysis of parallel constraint-based local search. - Yves Caniou; Daniel Diaz 001; Florian Richoux; Philippe Codognet; Salvador Abreu (PPoPP, 2012)

Towards Massively Parallel Local Search for SAT - (Poster Presentation). - Alejandro Arbelaez; Philippe Codognet (SAT, 2012)

Targeting the Cell Broadband Engine for constraint-based local search. - Daniel Diaz 001; Salvador Abreu; Philippe Codognet (Concurr. Comput. Pract. Exp., 2012)

Ambient sound spaces. - Philippe Codognet; Olivier Pasquet (Multim. Tools Appl., 2012)

Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5). - Philippe Codognet; Kazunori Ueda; Hiroshi Hosobe (NII Shonan Meet. Rep., 2012)

On the implementation of GNU Prolog. - Daniel Diaz 001; Salvador Abreu; Philippe Codognet (Theory Pract. Log. Program., 2012)

From Sequential to Parallel Local Search for SAT. - Alejandro Arbelaez; Philippe Codognet (EvoCOP, 2013)

Prediction of Parallel Speed-Ups for Las Vegas Algorithms. - Charlotte Truchet; Florian Richoux; Philippe Codognet (ICPP, 2013)

Sequential and Parallel Restart Policies for Constraint-Based Local Search. - Yves Caniou; Philippe Codognet (IPDPS Workshops, 2013)

Using sequential runtime distributions for the parallel speedup prediction of SAT local search. - Alejandro Arbelaez; Charlotte Truchet; Philippe Codognet (Theory Pract. Log. Program., 2013)

A Parametric Framework for Cooperative Parallel Local Search. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Philippe Codognet (EvoCOP, 2014)

Dependent Walks in Parallel Local Search. - Yves Caniou; Philippe Codognet (IPDPS Workshops, 2014)

A GPU Implementation of Parallel Constraint-Based Local Search. - Alejandro Arbelaez; Philippe Codognet (PDP, 2014)

Flexible cooperation in parallel local search. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Philippe Codognet (SAC, 2014)

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Francesca Rossi 001; Vijay A. Saraswat; Philippe Codognet (AAAI, 2015)

Large-scale parallelism for constraint-based local search: the costas array case study. - Yves Caniou; Philippe Codognet; Florian Richoux; Daniel Diaz 001; Salvador Abreu (Constraints An Int. J., 2015)

Estimating parallel runtimes for randomized algorithms in constraint solving. - Charlotte Truchet; Alejandro Arbelaez; Florian Richoux; Philippe Codognet (J. Heuristics, 2016)

Parallel Local Search. - Philippe Codognet; Danny Munera; Daniel Diaz 001; Salvador Abreu (Handbook of Parallel Constraint Reasoning, 2018)

Constraint Solving by Quantum Annealing. - Philippe Codognet (ICPP Workshops, 2021)

Comparing QUBO Models of the Magic Square Problem for Quantum Annealing. - Philippe Codognet (MIC, 2022)

Modeling the Costas Array Problem in QUBO for Quantum Annealing. - Philippe Codognet (EvoCOP, 2022)

Learning Similarity for Discovering Inspirations of Western Arts in Japanese Culture. - Phongtharin Vinayavekhin; Vorapong Suppakitpaisarn; Philippe Codognet; Torahiko Terada; Atsushi Miura (ICPR Workshops (3), 2022)

Domain-Wall / Unary Encoding in QUBO for Permutation Problems. - Philippe Codognet (QCE, 2022)

Quantum and Digital Annealing for the Quadratic Assignment Problem. - Philippe Codognet; Daniel Diaz 001; Salvador Abreu (QSW, 2022)

Encoding the At-Most-One Constraint for QUBO and Quantum Annealing: Experiments with the N-Queens problem. - Philippe Codognet (GECCO Companion, 2023)

Quantum Annealing for Constraint Satisfaction and Constrained Optimization. - Philippe Codognet (ICAART, 2023)

Learning qubo Models for Quantum Annealing: A Constraint-Based Approach. - Florian Richoux; Jean-François Baffier; Philippe Codognet (ICCS (5), 2023)

Generating Presence-Absence Matrices by Quantum Annealing. - Philippe Codognet (Q-SE@ICSE, 2023)

Comparing Integer Encodings in QUBO for Quantum and Digital Annealing: The Travelling Salesman Problem. - Philippe Codognet (MIC (1), 2024)

A Constraint Programming Approach for QUBO Solving and Quantum Annealing. - Philippe Codognet (Programming, 2024)

Quantum Annealing Solutions for Drone Route Planning Problems. - Richard Hua; Daniele Di Lorenzo; Francisco Chinesta; Philippe Codognet (QCE, 2024)

Identifying Relationships and Classifying Western-style Paintings: Machine Learning Approaches for Artworks by Western Artists and Meiji-era Japanese Artists. - Phongtharin Vinayavekhin; Banphatree Khomkham; Vorapong Suppakitpaisarn; Philippe Codognet; Torahiko Terada; Atsushi Miura (ACM Journal on Computing and Cultural Heritage, 2024)

Modeling the Cyclic Bandwidth Problem in QUBO for Quantum Annealing. - Philippe Codognet; Éric Monfroy (ICCS (Workshops 5), 2025)

Comparing QUBO models for quantum annealing: integer encodings for permutation problems. - Philippe Codognet (Int. Trans. Oper. Res., 2025)