Philippe Codognet

131 papers A* 3A 7B 18C 5Misc 5Journal 27Unranked 62

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Comparing QUBO models for quantum annealing: integer encodings for permutation problems. Int. Trans. Oper. Res. Philippe Codognet
2025	—	`conf`	Encoding Binary Comparison Constraints in QUBO for Quantum Annealing. GECCO Companion Philippe Codognet
2025	—	`conf`	Modeling the Cyclic Bandwidth Problem in QUBO for Quantum Annealing. ICCS (Workshops 5) Philippe Codognet, Éric Monfroy
2024	—	`conf`	A Constraint Programming Approach for QUBO Solving and Quantum Annealing. Programming Philippe Codognet
2024	—	`conf`	Comparing Integer Encodings in QUBO for Quantum and Digital Annealing: The Travelling Salesman Problem. MIC (1) Philippe Codognet
2024	J	`jnl`	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 Phongtharin Vinayavekhin, Banphatree Khomkham, Vorapong Suppakitpaisarn, Philippe Codognet, Torahiko Terada, Atsushi Miura
2024	Misc	`conf`	Quantum Annealing Solutions for Drone Route Planning Problems. QCE Richard Hua, Daniele Di Lorenzo, Francisco Chinesta, Philippe Codognet
2024	J	`jnl`	Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search. CoRR Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
2023	—	`conf`	Encoding the At-Most-One Constraint for QUBO and Quantum Annealing: Experiments with the N-Queens problem. GECCO Companion Philippe Codognet
2023	—	`conf`	Generating Presence-Absence Matrices by Quantum Annealing. Q-SE@ICSE Philippe Codognet
2023	—	`conf`	Learning qubo Models for Quantum Annealing: A Constraint-Based Approach. ICCS (5) Florian Richoux, Jean-François Baffier, Philippe Codognet
2023	—	`conf`	Quantum Annealing for Constraint Satisfaction and Constrained Optimization. ICAART Philippe Codognet
2022	—	`conf`	Comparing QUBO Models of the Magic Square Problem for Quantum Annealing. MIC Philippe Codognet
2022	Misc	`conf`	Domain-Wall / Unary Encoding in QUBO for Permutation Problems. QCE Philippe Codognet
2022	—	`conf`	Learning Similarity for Discovering Inspirations of Western Arts in Japanese Culture. ICPR Workshops (3) Phongtharin Vinayavekhin, Vorapong Suppakitpaisarn, Philippe Codognet, Torahiko Terada, Atsushi Miura
2022	B	`conf`	Modeling the Costas Array Problem in QUBO for Quantum Annealing. EvoCOP Philippe Codognet
2022	—	`conf`	Quantum and Digital Annealing for the Quadratic Assignment Problem. QSW Philippe Codognet, Daniel Diaz, Salvador Abreu
2021	—	`conf`	Constraint Solving by Quantum Annealing. ICPP Workshops Philippe Codognet
2018	—	`ch.`	Parallel Local Search. Handbook of Parallel Constraint Reasoning Philippe Codognet, Danny Munera, Daniel Diaz, Salvador Abreu
2016	J	`jnl`	Estimating parallel runtimes for randomized algorithms in constraint solving. J. Heuristics Charlotte Truchet, Alejandro Arbelaez, Florian Richoux, Philippe Codognet
2015	J	`jnl`	Large-scale parallelism for constraint-based local search: the costas array case study. Constraints An Int. J. Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu
2015	A*	`conf`	Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. AAAI Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet
2014	C	`conf`	A GPU Implementation of Parallel Constraint-Based Local Search. PDP Alejandro Arbelaez, Philippe Codognet
2014	B	`conf`	A Parametric Framework for Cooperative Parallel Local Search. EvoCOP Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet
2014	—	`conf`	Dependent Walks in Parallel Local Search. IPDPS Workshops Yves Caniou, Philippe Codognet
2014	Misc	`conf`	Flexible cooperation in parallel local search. SAC Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet
2013	B	`conf`	From Sequential to Parallel Local Search for SAT. EvoCOP Alejandro Arbelaez, Philippe Codognet
2013	B	`conf`	Prediction of Parallel Speed-Ups for Las Vegas Algorithms. ICPP Charlotte Truchet, Florian Richoux, Philippe Codognet
2013	—	`conf`	Sequential and Parallel Restart Policies for Constraint-Based Local Search. IPDPS Workshops Yves Caniou, Philippe Codognet
2013	J	`jnl`	Using sequential runtime distributions for the parallel speedup prediction of SAT local search. Theory Pract. Log. Program. Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
2012	J	`jnl`	Ambient sound spaces. Multim. Tools Appl. Philippe Codognet, Olivier Pasquet
2012	—	`conf`	Constraint-Based Local Search for the Costas Array Problem. LION Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu
2012	B	`conf`	Massively Parallel Local Search for SAT. ICTAI Alejandro Arbelaez, Philippe Codognet
2012	J	`jnl`	On the implementation of GNU Prolog. Theory Pract. Log. Program. Daniel Diaz, Salvador Abreu, Philippe Codognet
2012	—	`conf`	Parallel Local Search for the Costas Array Problem. IPDPS Workshops Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu
2012	J	`jnl`	Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5). NII Shonan Meet. Rep. Philippe Codognet, Kazunori Ueda, Hiroshi Hosobe
2012	B	`conf`	Performance analysis of parallel constraint-based local search. PPoPP Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu
2012	J	`jnl`	Prediction of Parallel Speed-ups for Las Vegas Algorithms CoRR Charlotte Truchet, Florian Richoux, Philippe Codognet
2012	J	`jnl`	Targeting the Cell Broadband Engine for constraint-based local search. Concurr. Comput. Pract. Exp. Daniel Diaz, Salvador Abreu, Philippe Codognet
2012	A	`conf`	Towards Massively Parallel Local Search for SAT - (Poster Presentation). SAT Alejandro Arbelaez, Philippe Codognet
2011	—	`conf`	Communication in Parallel Algorithms for Constraint-Based Local Search. IPDPS Workshops Yves Caniou, Philippe Codognet
2011	B	`conf`	Experiments in Parallel Constraint-Based Local Search. EvoCOP Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
2011	Misc	`conf`	Parallel constraint-based local search on the HA8000 supercomputer (abstract). SAC Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
2010	—	`ed.`	Cultural Computing - Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ECS Ryohei Nakatsu, Naoko Tosa, Fazel Naghdy, Kok Wai Wong, Philippe Codognet
2010	—	`conf`	Digital collages. Advances in Computer Entertainment Technology Philippe Codognet
2010	J	`jnl`	On the Implementation of GNU Prolog CoRR Daniel Diaz, Salvador Abreu, Philippe Codognet
2010	—	`conf`	Opening the Can: Public Interaction with Ready-Made Contents. ECS Shlomo Dubnov, Philippe Codognet
2010	Misc	`conf`	Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC Daniel Diaz, Salvador Abreu, Philippe Codognet
2010	—	`conf`	Sound Agents. EvoApplications (2) Philippe Codognet, Olivier Pasquet
2009	—	`conf`	Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) LSCS Salvador Abreu, Daniel Diaz, Philippe Codognet
2009	J	`jnl`	Solving finite domain constraint hierarchies by local consistency and tree search. J. Exp. Theor. Artif. Intell. Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee
2009	C	`conf`	Swarm Intelligence for Generative Music. ISM Philippe Codognet, Olivier Pasquet
2008	—	`conf`	Red light spotters: images-driven sound and rhythm landscape. SAME Philippe Codognet, Gilbert Nouno
2008	A*	`conf`	The palimpsest system. ACM Multimedia Philippe Codognet
2007	J	`jnl`	Agent-Based Speculative Constraint Processing. IEICE Trans. Inf. Syst. Hiroshi Hosobe, Ken Satoh, Philippe Codognet
2004	J	`jnl`	Musical constraint satisfaction problems solved with adaptive search. Soft Comput. Charlotte Truchet, Philippe Codognet
2003	A	`conf`	Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel
2003	J	`jnl`	Créatures virtuelle. Tech. Sci. Informatiques Nadine Richard, Philippe Codognet, Alain Grumbach
2003	J	`jnl`	Guest Editorial. Constraints An Int. J. Philippe Codognet, Francesca Rossi
2003	A	`conf`	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
2003	A*	`conf`	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
2003	B	`conf`	Speculative Constraint Processing in Multi-agent Systems. PRIMA Ken Satoh, Philippe Codognet, Hiroshi Hosobe
2002	J	`jnl`	Abstracting soft constraints: Framework, properties, examples. Artif. Intell. Stefano Bistarelli, Philippe Codognet, Francesca Rossi
2002	—	`conf`	Intelligent Agents in Virtual Worlds. ADVIS Philippe Codognet
2002	—	`conf`	Multi-goal path-finding for autonomous agents in virtual worlds. IWEC Philippe Codognet
2001	J	`jnl`	Design and Implementation of the GNU Prolog System. J. Funct. Log. Program. Daniel Diaz, Philippe Codognet
2001	J	`jnl`	Introduction to the Special Issue on Constraints for Multimedia Artistic Applications. Constraints An Int. J. François Pachet, Philippe Codognet
2001	B	`ed.`	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings ICLP Philippe Codognet
2001	—	`ed.`	Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France JFPLC Philippe Codognet
2001	B	`conf`	The InViWo Toolkit: Describing Autonomous Virtual Agents and Avatars. IVA Nadine Richard, Philippe Codognet, Alain Grumbach
2001	—	`conf`	Visual and Adaptive Constraint Programming in Music. ICMC Charlotte Truchet, Gérard Assayag, Philippe Codognet
2001	—	`conf`	Yet Another Local Search Method for Constraint Solving. SAGA Philippe Codognet, Daniel Diaz
2000	—	`conf`	A Constraint - Based Language for Autonomous Agents in Virtual Worlds. WLP Philippe Codognet
2000	—	`conf`	An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation. SARA Stefano Bistarelli, Philippe Codognet, Francesca Rossi
2000	C	`conf`	GNU Prolog: Beyond Compiling Prolog to C. PADL Daniel Diaz, Philippe Codognet
2000	C	`conf`	Labeling and Partial Local Consistency for Soft Constraint Programming. PADL Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi
2000	—	`conf`	The GNU Prolog System and its Implementation. SAC (2) Daniel Diaz, Philippe Codognet
1999	—	`conf`	A Constraint-Based Language for Virtual Agents. New Trends in Constraints Philippe Codognet
1999	—	`conf`	Abstracting Soft Constraints. New Trends in Constraints Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi
1999	—	`conf`	An Historical Account of Indexical Images: from Ancient Art to the Web. VL Philippe Codognet
1999	J	`jnl`	Constraint Retraction in CLP(FD): Formal Framework and Performance Results. Constraints An Int. J. Yan Georget, Philippe Codognet, Francesca Rossi
1999	—	`conf`	Declarative behaviors for virtual creatures. SIGGRAPH Abstracts and Applications Philippe Codognet
1999	—	`conf`	Labeling and Partial Arc Consistency for Soft Constraints. APPIA-GULP-PRODE Stefano Bistarelli, Philippe Codognet, Yan Georget, Fabio Rossi
1999	—	`conf`	Mondes virtuels et systèmes multi-agents (poster). JFIADSMA Nadine Richard, Philippe Codognet, Alain Grumbach
1999	—	`conf`	The InViWo virtual agents. Eurographics (Short Presentations) Nadine Richard, Philippe Codognet, Alain Grumbach
1998	A	`conf`	Compiling Semiring-Based Constraints with clp (FD, S). CP Yan Georget, Philippe Codognet
1998	B	`conf`	Encoding global constraints in semiring-based constraint solving. ICTAI Yan Georget, Philippe Codognet
1998	J	`jnl`	Foreword: Concurrent Constraint Programming. Sci. Comput. Program. Philippe Codognet
1998	—	`conf`	Using constraints to describe high-level behaviours in virtual worlds. Eurographics (Short Presentations) Nadine Richard, Philippe Codognet, Alain Grumbach
1997	—	`conf`	Implementing Constraint Retraction for Finite Domains. ASIAN Yan Georget, Philippe Codognet, Francesca Rossi
1997	J	`jnl`	The Virtuality of Constraints and the Constraints of Virtuality. Constraints An Int. J. Philippe Codognet
1997	—	`conf`	Toward Visual Constraint Programming. VL Emmanuel Chailloux, Philippe Codognet
1996	J	`jnl`	A Simple and Efficient Boolean Solver for Constraint Logic Programming. J. Autom. Reason. Philippe Codognet, Daniel Diaz
1996	J	`jnl`	Compiling Constraints in clp(FD). J. Log. Program. Philippe Codognet, Daniel Diaz
1996	—	`conf`	Constraint Reaction in FD. FSTTCS Philippe Codognet, Daniel Diaz, Francesca Rossi
1996	J	`jnl`	The Virtuality of Constraints and the Constraints of Virtuality. ACM Comput. Surv. Philippe Codognet
1995	—	`conf`	A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. Constraint Processing, Selected Papers Christian Codognet, Philippe Codognet
1995	—	`ed.`	First International Workshop on Concurrent Constraint Programming, CCP 1995, Cà Dolfin, Venice, Italy, May 29-31, 1995. CCP Agostino Cortesi, Philippe Codognet
1995	A	`conf`	Guarded Constructive Disjunction: Angel or Demon? CP Christian Codognet, Philippe Codognet
1995	B	`conf`	NMCC Programming: Constraint Enforcement and Retracting in CC Programming. ICLP Philippe Codognet, Francesca Rossi
1995	—	`conf`	The clp(FD) system. JFPLC Philippe Codognet, Daniel Diaz
1995	B	`conf`	WAMCC: Compiling Prolog to C. ICLP Philippe Codognet, Daniel Diaz
1994	A	`conf`	Abduction and Concurrent Logic Languages. ECAI Christian Codognet, Philippe Codognet
1994	—	`conf`	Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods Constraint Programming Philippe Codognet, Giuseppe Nardiello
1994	B	`conf`	Finite Domain Constraints in the ML Functional Language. ICTAI Emmanuel Chailloux, Christian Codognet, Philippe Codognet
1994	J	`jnl`	Parallel Logic Programming Systems. ACM Comput. Surv. Jacques Chassin de Kergommeaux, Philippe Codognet
1994	—	`conf`	Path Consistency in clp(FD). CCL Philippe Codognet, Giuseppe Nardiello
1994	—	`conf`	Programmation Concurrente avec Contraintes. JFPLC Philippe Codognet
1994	—	`conf`	Sleepers: A Versatile High-Level Control Mechanism. PLILP Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto
1994	—	`conf`	clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. PLILP Philippe Codognet, Daniel Diaz
1993	B	`conf`	A Minimal Extension of the WAM for clp(FD). ICLP Daniel Diaz, Philippe Codognet
1993	—	`conf`	A Prototype Compiler for Prolog with Boolean Constraints. GULP Giovanna M. Dore, Philippe Codognet
1993	—	`conf`	An Incremental Hierarchical Constraint Solver. PPCP Francisco Menezes, Pedro Barahona, Philippe Codognet
1993	—	`conf`	Boolean Constraint Solving Using clp(FD). ICLP Workshop on Concurrent Constraint Programming Philippe Codognet, Daniel Diaz
1993	—	`conf`	Boolean Constraint Solving Using clp(FD). ILPS Philippe Codognet, Daniel Diaz
1992	—	`conf`	Computations, abstractions and constraints in logic programs. ICCL Philippe Codognet, Gilberto Filé
1992	—	`conf`	Improving Backward Execution in the Andorra Family of Languages. JICSLP Salvador Abreu, Luís Moniz Pereira, Philippe Codognet
1991	—	`conf`	A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking. WCLP Philippe Codognet, François Fages, Thierry Sola
1991	—	`conf`	Computations, Abstractions and Constraints (abstract). JTASPEFT/WSA Philippe Codognet, Gilberto Filé
1991	B	`conf`	Extending the WAM for Intelligent Backtracking. ICLP Philippe Codognet, Thierry Sola
1990	C	`conf`	A Metalanguage for Representation and Control in Assumption-based Problem Solvers. SEKE Pierre Savéant, Philippe Codognet
1990	—	`conf`	Abstract Interpretation for Concurrent Logic Languages. NACLP Christian Codognet, Philippe Codognet, Marc-Michel Corsini
1990	—	`conf`	Abstract Interpretation from Prolog to Concurrent Prolog. SPLT Christian Codognet, Philippe Codognet, Marc-Michel Corsini
1990	B	`conf`	Equations, Disequations and Unsolvable Subsets (abstract). ISSAC Philippe Codognet
1989	B	`conf`	Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. ICLP Christian Codognet, Philippe Codognet
1989	—	`conf`	Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. SPLT Christian Codognet, Philippe Codognet
1988	—	`conf`	Yet Another Intelligent Backtracking Method. ICLP/SLP Christian Codognet, Philippe Codognet, Gilberto Filé
1988	—	`conf`	Yet another intelligent Backtracking method. SPLT Christian Codognet, Philippe Codognet, Gilberto Filé
1987	—	`conf`	Programmation logique parallèle 87. SPLT Philippe Codognet
1986	A	`conf`	A Very Intelligent Backtracking Method for Logic Programs. ESOP Christian Codognet, Philippe Codognet, Gilberto Filé
1986	—	`conf`	Backtracking intelligent en programmation logique. SPLT Christian Codognet, Philippe Codognet, Gilberto Filé