Philippe Codognet

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 15

Top Venues

Publications

Philippe Codognet
A Constraint Programming Approach for QUBO Solving and Quantum Annealing. Programming (2024)
Philippe Codognet
Comparing Integer Encodings in QUBO for Quantum and Digital Annealing: The Travelling Salesman Problem. MIC (1) (2024)
Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search. CoRR (2024)
Phongtharin Vinayavekhin, Banphatree Khomkham, Vorapong Suppakitpaisarn, Philippe Codognet, Torahiko Terada, Atsushi Miura
Identifying Relationships and Classifying Western-style Paintings: Machine Learning Approaches for Artworks by Western Artists and Meiji-era Japanese Artists. ACM Journal on Computing and Cultural Heritage 17 (1) (2024)
Philippe Codognet
Generating Presence-Absence Matrices by Quantum Annealing. Q-SE@ICSE (2023)
Florian Richoux, Jean-François Baffier, Philippe Codognet
Learning qubo Models for Quantum Annealing: A Constraint-Based Approach. ICCS (5) (2023)
Philippe Codognet
Encoding the At-Most-One Constraint for QUBO and Quantum Annealing: Experiments with the N-Queens problem. GECCO Companion (2023)
Philippe Codognet
Quantum Annealing for Constraint Satisfaction and Constrained Optimization. ICAART (2023)
Philippe Codognet
Comparing QUBO Models of the Magic Square Problem for Quantum Annealing. MIC (2022)
Phongtharin Vinayavekhin, Vorapong Suppakitpaisarn, Philippe Codognet, Torahiko Terada, Atsushi Miura
Learning Similarity for Discovering Inspirations of Western Arts in Japanese Culture. ICPR Workshops (3) (2022)
Philippe Codognet
Domain-Wall / Unary Encoding in QUBO for Permutation Problems. QCE (2022)
Philippe Codognet, Daniel Diaz, Salvador Abreu
Quantum and Digital Annealing for the Quadratic Assignment Problem. QSW (2022)
Philippe Codognet
Modeling the Costas Array Problem in QUBO for Quantum Annealing. EvoCOP (2022)
Philippe Codognet
Constraint Solving by Quantum Annealing. ICPP Workshops (2021)
Charlotte Truchet, Alejandro Arbelaez, Florian Richoux, Philippe Codognet
Estimating parallel runtimes for randomized algorithms in constraint solving. J. Heuristics 22 (4) (2016)
Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu
Large-scale parallelism for constraint-based local search: the costas array case study. Constraints An Int. J. 20 (1) (2015)
Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. AAAI (2015)
Alejandro Arbelaez, Philippe Codognet
A GPU Implementation of Parallel Constraint-Based Local Search. PDP (2014)
Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet
A Parametric Framework for Cooperative Parallel Local Search. EvoCOP (2014)
Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet
Flexible cooperation in parallel local search. SAC (2014)
Yves Caniou, Philippe Codognet
Dependent Walks in Parallel Local Search. IPDPS Workshops (2014)
Alejandro Arbelaez, Philippe Codognet
From Sequential to Parallel Local Search for SAT. EvoCOP (2013)
Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
Using sequential runtime distributions for the parallel speedup prediction of SAT local search. Theory Pract. Log. Program. 13 (4-5) (2013)
Charlotte Truchet, Florian Richoux, Philippe Codognet
Prediction of Parallel Speed-Ups for Las Vegas Algorithms. ICPP (2013)
Yves Caniou, Philippe Codognet
Sequential and Parallel Restart Policies for Constraint-Based Local Search. IPDPS Workshops (2013)
Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu
Performance analysis of parallel constraint-based local search. PPOPP (2012)
Charlotte Truchet, Florian Richoux, Philippe Codognet
Prediction of Parallel Speed-ups for Las Vegas Algorithms CoRR (2012)
Philippe Codognet, Kazunori Ueda, Hiroshi Hosobe
Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5). NII Shonan Meet. Rep. 2012 (2012)
Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu
Constraint-Based Local Search for the Costas Array Problem. LION (2012)
Daniel Diaz, Salvador Abreu, Philippe Codognet
On the implementation of GNU Prolog. Theory Pract. Log. Program. 12 (1-2) (2012)
Alejandro Arbelaez, Philippe Codognet
Massively Parallel Local Search for SAT. ICTAI (2012)
Philippe Codognet, Olivier Pasquet
Ambient sound spaces. Multim. Tools Appl. 58 (2) (2012)
Alejandro Arbelaez, Philippe Codognet
Towards Massively Parallel Local Search for SAT - (Poster Presentation). SAT (2012)
Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu
Parallel Local Search for the Costas Array Problem. IPDPS Workshops (2012)
Daniel Diaz, Salvador Abreu, Philippe Codognet
Targeting the Cell Broadband Engine for constraint-based local search. Concurr. Comput. Pract. Exp. 24 (6) (2012)
Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
Experiments in Parallel Constraint-Based Local Search. EvoCOP (2011)
Yves Caniou, Philippe Codognet
Communication in Parallel Algorithms for Constraint-Based Local Search. IPDPS Workshops (2011)
Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
Parallel constraint-based local search on the HA8000 supercomputer (abstract). SAC (2011)
Philippe Codognet, Olivier Pasquet
Sound Agents. EvoApplications (2) (2010)
Daniel Diaz, Salvador Abreu, Philippe Codognet
Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC (2010)
Philippe Codognet
Digital collages. Advances in Computer Entertainment Technology (2010)
Shlomo Dubnov, Philippe Codognet
Opening the Can: Public Interaction with Ready-Made Contents. ECS (2010)
Daniel Diaz, Salvador Abreu, Philippe Codognet
On the Implementation of GNU Prolog CoRR (2010)
Salvador Abreu, Daniel Diaz, Philippe Codognet
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) LSCS (2009)
Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee
Solving finite domain constraint hierarchies by local consistency and tree search. J. Exp. Theor. Artif. Intell. 21 (4) (2009)
Philippe Codognet, Olivier Pasquet
Swarm Intelligence for Generative Music. ISM (2009)
Philippe Codognet, Gilbert Nouno
Red light spotters: images-driven sound and rhythm landscape. SAME (2008)
Philippe Codognet
The palimpsest system. ACM Multimedia (2008)
Hiroshi Hosobe, Ken Satoh, Philippe Codognet
Agent-Based Speculative Constraint Processing. IEICE Trans. Inf. Syst. (9) (2007)
Charlotte Truchet, Philippe Codognet
Musical constraint satisfaction problems solved with adaptive search. Soft Comput. 8 (9) (2004)
Philippe Codognet, Francesca Rossi
Guest Editorial. Constraints An Int. J. 8 (1) (2003)
Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI (2003)
Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel
Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS (2003)
Nadine Richard, Philippe Codognet, Alain Grumbach
Créatures virtuelle. Tech. Sci. Informatiques 22 (2) (2003)
Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP (2003)
Ken Satoh, Philippe Codognet, Hiroshi Hosobe
Speculative Constraint Processing in Multi-agent Systems. PRIMA (2003)
Stefano Bistarelli, Philippe Codognet, Francesca Rossi
Abstracting soft constraints: Framework, properties, examples. Artif. Intell. 139 (2) (2002)
Philippe Codognet
Intelligent Agents in Virtual Worlds. ADVIS (2002)
Philippe Codognet
Multi-goal path-finding for autonomous agents in virtual worlds. IWEC (2002)
Nadine Richard, Philippe Codognet, Alain Grumbach
The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars. IVA (2001)
Daniel Diaz, Philippe Codognet
Design and Implementation of the GNU Prolog System. J. Funct. Log. Program. 2001 (6) (2001)
Charlotte Truchet, Gérard Assayag, Philippe Codognet
Visual and Adaptive Constraint Programming in Music. ICMC (2001)
François Pachet, Philippe Codognet
Introduction to the Special Issue on Constraints for Multimedia Artistic Applications. Constraints An Int. J. 6 (1) (2001)
Philippe Codognet, Daniel Diaz
Yet Another Local Search Method for Constraint Solving. SAGA (2001)
Stefano Bistarelli, Philippe Codognet, Francesca Rossi
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. SARA (2000)
Philippe Codognet
A Constraint - Based Language for Autonomous Agents in Virtual Worlds. WLP (2000)
Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi
Labeling and Partial Local Consistency for Soft Constraint Programming. PADL (2000)
Daniel Diaz, Philippe Codognet
GNU Prolog: Beyond Compiling Prolog to C. PADL (2000)
Daniel Diaz, Philippe Codognet
The GNU Prolog System and its Implementation. SAC (2) (2000)
Nadine Richard, Philippe Codognet, Alain Grumbach
Mondes virtuels et systèmes multi-agents (poster). JFIADSMA (1999)
Philippe Codognet
A Constraint-Based Language for Virtual Agents. New Trends in Constraints (1999)
Philippe Codognet
Declarative behaviors for virtual creatures. SIGGRAPH Abstracts and Applications (1999)
Yan Georget, Philippe Codognet, Francesca Rossi
Constraint Retraction in CLP(FD): Formal Framework and Performance Results. Constraints An Int. J. 4 (1) (1999)
Nadine Richard, Philippe Codognet, Alain Grumbach
The InViWo virtual agents. Eurographics (Short Presentations) (1999)
Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi
Abstracting Soft Constraints. New Trends in Constraints (1999)
Stefano Bistarelli, Philippe Codognet, Yan Georget, Fabio Rossi
Labeling and Partial Arc Consistency for Soft Constraints. APPIA-GULP-PRODE (1999)
Philippe Codognet
An Historical Account of Indexical Images: from Ancient Art to the Web. VL (1999)
Nadine Richard, Philippe Codognet, Alain Grumbach
Using constraints to describe high-level behaviours in virtual worlds. Eurographics (Short Presentations) (1998)
Yan Georget, Philippe Codognet
Encoding global constraints in semiring-based constraint solving. ICTAI (1998)
Philippe Codognet
Foreword: Concurrent Constraint Programming. Sci. Comput. Program. 30 (1-2) (1998)
Yan Georget, Philippe Codognet
Compiling Semiring-Based Constraints with clp (FD, S). CP (1998)
Emmanuel Chailloux, Philippe Codognet
Toward Visual Constraint Programming. VL (1997)
Yan Georget, Philippe Codognet, Francesca Rossi
Implementing Constraint Retraction for Finite Domains. ASIAN (1997)
Philippe Codognet
The Virtuality of Constraints and the Constraints of Virtuality. Constraints An Int. J. 2 (1) (1997)
Philippe Codognet, Daniel Diaz, Francesca Rossi
Constraint Reaction in FD. FSTTCS (1996)
Philippe Codognet, Daniel Diaz
Compiling Constraints in clp(FD). J. Log. Program. 27 (3) (1996)
Philippe Codognet
The Virtuality of Constraints and the Constraints of Virtuality. ACM Comput. Surv. 28 (4es) (1996)
Philippe Codognet, Daniel Diaz
A Simple and Efficient Boolean Solver for Constraint Logic Programming. J. Autom. Reason. 17 (1) (1996)
Christian Codognet, Philippe Codognet
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. Constraint Processing, Selected Papers (1995)
Philippe Codognet, Francesca Rossi
NMCC Programming: Constraint Enforcement and Retracting in CC Programming. ICLP (1995)
Christian Codognet, Philippe Codognet
Guarded Constructive Disjunction: Angel or Demon? CP (1995)
Philippe Codognet, Daniel Diaz
WAMCC: Compiling Prolog to C. ICLP (1995)
Philippe Codognet, Daniel Diaz
The clp(FD) system. JFPLC (1995)
Philippe Codognet, Giuseppe Nardiello
Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods Constraint Programming (1994)
Christian Codognet, Philippe Codognet
Abduction and Concurrent Logic Languages. ECAI (1994)
Jacques Chassin de Kergommeaux, Philippe Codognet
Parallel Logic Programming Systems. ACM Comput. Surv. 26 (3) (1994)
Philippe Codognet, Giuseppe Nardiello
Path Consistency in clp(FD). CCL (1994)
Emmanuel Chailloux, Christian Codognet, Philippe Codognet
Finite Domain Constraints in the ML Functional Language. ICTAI (1994)
Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto
Sleepers: A Versatile High-Level Control Mechanism. PLILP (1994)
Philippe Codognet, Daniel Diaz
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. PLILP (1994)

Philippe Codognet.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Philippe Codognet