| 2026 | ICCS | From Table Constraints to QUBO Models for Quantum Annealing. | Philippe Codognet, ric Monfroy |
| 2025 | GECCO | Encoding Binary Comparison Constraints in QUBO for Quantum Annealing. | Philippe Codognet |
| 2025 | ICCS | Modeling the Cyclic Bandwidth Problem in QUBO for Quantum Annealing. | Philippe Codognet, ric Monfroy |
| 2024 | QCE | Quantum Annealing Solutions for Drone Route Planning Problems. | Richard Hua, Daniele Di Lorenzo, Francisco Chinesta, Philippe Codognet |
| 2023 | GECCO | Encoding the At-Most-One Constraint for QUBO and Quantum Annealing: Experiments with the N-Queens problem. | Philippe Codognet |
| 2023 | ICAART | Quantum Annealing for Constraint Satisfaction and Constrained Optimization. | Philippe Codognet |
| 2023 | ICCS | Learning qubo Models for Quantum Annealing: A Constraint-Based Approach. | Florian Richoux, Jean-Franois Baffier, Philippe Codognet |
| 2022 | ICPR | Learning Similarity for Discovering Inspirations of Western Arts in Japanese Culture. | Phongtharin Vinayavekhin, Vorapong Suppakitpaisarn, Philippe Codognet, Torahiko Terada, Atsushi Miura |
| 2022 | QCE | Domain-Wall / Unary Encoding in QUBO for Permutation Problems. | Philippe Codognet |
| 2015 | AAAI | Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. | Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet |
| 2014 | PDP | A GPU Implementation of Parallel Constraint-Based Local Search. | Alejandro Arbelaez, Philippe Codognet |
| 2014 | SAC | Flexible cooperation in parallel local search. | Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet |
| 2013 | ICPP | Prediction of Parallel Speed-Ups for Las Vegas Algorithms. | Charlotte Truchet, Florian Richoux, Philippe Codognet |
| 2012 | ICTAI | Massively Parallel Local Search for SAT. | Alejandro Arbelaez, Philippe Codognet |
| 2012 | PPoPP | Performance analysis of parallel constraint-based local search. | Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu |
| 2012 | SAT | Towards Massively Parallel Local Search for SAT - (Poster Presentation). | Alejandro Arbelaez, Philippe Codognet |
| 2011 | SAC | Parallel constraint-based local search on the HA8000 supercomputer (abstract). | Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu |
| 2010 | IDC | Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. | Daniel Diaz, Salvador Abreu, Philippe Codognet |
| 2009 | ISM | Swarm Intelligence for Generative Music. | Philippe Codognet, Olivier Pasquet |
| 2003 | CP | Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. | Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
| 2003 | IJCAI | Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. | Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee |
| 2003 | PRIMA | Speculative Constraint Processing in Multi-agent Systems. | Ken Satoh, Philippe Codognet, Hiroshi Hosobe |
| 2003 | TACAS | Code-Based Test Generation for Validation of Functional Processor Descriptions. | Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel |
| 2001 | IVA | The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars. | Nadine Richard, Philippe Codognet, Alain Grumbach |
| 2000 | PADL | Labeling and Partial Local Consistency for Soft Constraint Programming. | Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi |
| 2000 | PADL | GNU Prolog: Beyond Compiling Prolog to C. | Daniel Diaz, Philippe Codognet |
| 2000 | SAC | The GNU Prolog System and its Implementation. | Daniel Diaz, Philippe Codognet |
| 1999 | SIGGRAPH | Declarative behaviors for virtual creatures. | Philippe Codognet |
| 1998 | CP | Compiling Semiring-Based Constraints with clp (FD, S). | Yan Georget, Philippe Codognet |
| 1998 | ICTAI | Encoding global constraints in semiring-based constraint solving. | Yan Georget, Philippe Codognet |
| 1995 | CP | Guarded Constructive Disjunction: Angel or Demon? | Christian Codognet, Philippe Codognet |
| 1995 | CP | A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. | Christian Codognet, Philippe Codognet |
| 1995 | ICLP | WAMCC: Compiling Prolog to C. | Philippe Codognet, Daniel Diaz |
| 1995 | ICLP | NMCC Programming: Constraint Enforcement and Retracting in CC Programming. | Philippe Codognet, Francesca Rossi |
| 1994 | ECAI | Abduction and Concurrent Logic Languages. | Christian Codognet, Philippe Codognet |
| 1994 | ICTAI | Finite Domain Constraints in the ML Functional Language. | Emmanuel Chailloux, Christian Codognet, Philippe Codognet |
| 1993 | ICLP | Boolean Constraint Solving Using clp(FD). | Philippe Codognet, Daniel Diaz |
| 1993 | ICLP | A Minimal Extension of the WAM for clp(FD). | Daniel Diaz, Philippe Codognet |
| 1992 | ICLP | Improving Backward Execution in the Andorra Family of Languages. | Salvador Abreu, Lus Moniz Pereira, Philippe Codognet |
| 1991 | ICLP | Extending the WAM for Intelligent Backtracking. | Philippe Codognet, Thierry Sola |
| 1991 | SAS | Computations, Abstractions and Constraints (abstract). | Philippe Codognet, Gilberto Fil |
| 1990 | ISSAC | Equations, Disequations and Unsolvable Subsets (abstract). | Philippe Codognet |
| 1990 | SEKE | A Metalanguage for Representation and Control in Assumption-based Problem Solvers. | Pierre Savant, Philippe Codognet |
| 1989 | ICLP | Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. | Christian Codognet, Philippe Codognet |
| 1988 | ICLP | Yet Another Intelligent Backtracking Method. | Christian Codognet, Philippe Codognet, Gilberto Fil |
| 1986 | ESOP | A Very Intelligent Backtracking Method for Logic Programs. | Christian Codognet, Philippe Codognet, Gilberto Fil |