Philippe Codognet
Orcid: 0000-0002-6254-6389
According to our database1,
Philippe Codognet
authored at least 117 papers
between 1986 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
6
7
8
9
10
1
1
1
1
1
1
4
1
1
1
2
1
2
1
1
3
1
3
4
5
1
1
4
3
5
3
4
2
2
3
2
3
5
7
3
2
1
5
7
4
2
3
4
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Comparing QUBO models for quantum annealing: integer encodings for permutation problems.
Int. Trans. Oper. Res., January, 2025
2024
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, February, 2024
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024
Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024
Comparing Integer Encodings in QUBO for Quantum and Digital Annealing: The Travelling Salesman Problem.
Proceedings of the Metaheuristics - 15th International Conference, 2024
2023
Proceedings of the 4th IEEE/ACM International Workshop on Quantum Software Engineering, 2023
Proceedings of the Computational Science - ICCS 2023, 2023
Quantum Annealing for Constraint Satisfaction and Constrained Optimization.
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Encoding the At-Most-One Constraint for QUBO and Quantum Annealing: Experiments with the N-Queens problem.
Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023
2022
Proceedings of the IEEE International Conference on Quantum Software, 2022
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022
Learning Similarity for Discovering Inspirations of Western Arts in Japanese Culture.
Proceedings of the Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges, 2022
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2022
Proceedings of the Metaheuristics - 14th International Conference, 2022
2021
Proceedings of the ICPP Workshops 2021: 50th International Conference on Parallel Processing, 2021
2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2016
J. Heuristics, 2016
2015
Large-scale parallelism for constraint-based local search: the costas array case study.
Constraints An Int. J., 2015
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014
Proceedings of the Evolutionary Computation in Combinatorial Optimisation, 2014
2013
Using sequential runtime distributions for the parallel speedup prediction of SAT local search.
Theory Pract. Log. Program., 2013
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013
Proceedings of the 42nd International Conference on Parallel Processing, 2013
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2013
2012
Parallel Methods for Constraint Solving and Combinatorial Optimization (NII Shonan Meeting 2012-5).
NII Shonan Meet. Rep., 2012
Concurr. Comput. Pract. Exp., 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2011
2010
Proceedings of the Cultural Computing, 2010
Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010
Proceedings of the 7th International Conference on Advances in Computer Entertainment Technology, 2010
2009
J. Exp. Theor. Artif. Intell., 2009
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009
Proceedings of the 11th IEEE International Symposium on Multimedia, 2009
2008
Proceedings of the 1st ACM Workshop on Semantic Ambient Media Experiences, 2008
Proceedings of the 16th International Conference on Multimedia 2008, 2008
2007
2004
Soft Comput., 2004
2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2003
Proceedings of the IJCAI-03, 2003
2002
Multi-goal path-finding for autonomous agents in virtual worlds.
Proceedings of the Entertainment Computing: Technologies and Applications, 2002
Proceedings of the Advances in Information Systems, Second International Conference, 2002
2001
Design and Implementation of the GNU Prolog System.
J. Funct. Log. Program., 2001
Introduction to the Special Issue on Constraints for Multimedia Artistic Applications.
Constraints An Int. J., 2001
Proceedings of the Stochastic Algorithms: Foundations and Applications, 2001
Proceedings of the Intelligent Virtual Agents, Third International Workshop, 2001
Proceedings of the 2001 International Computer Music Conference, 2001
2000
A Constraint - Based Language for Autonomous Agents in Virtual Worlds.
Proceedings of the WLP 2000, 2000
An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation.
Proceedings of the Abstraction, 2000
Proceedings of the Applied Computing 2000, 2000
Proceedings of the Practical Aspects of Declarative Languages, 2000
Proceedings of the Practical Aspects of Declarative Languages, 2000
1999
Constraints An Int. J., 1999
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999
Proceedings of the 26th Annual Conference on Computer Graphics and Interactive Techniques, 1999
Mondes virtuels et systèmes multi-agents (poster).
Proceedings of the Ingénierie des systèmes Multi-Agents - JFIADSMA 99, 1999
Proceedings of the 20th Annual Conference of the European Association for Computer Graphics, 1999
Proceedings of the New Trends in Contraints, 1999
Labeling and Partial Arc Consistency for Soft Constraints.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998
Proceedings of the 19th Annual Conference of the European Association for Computer Graphics, 1998
Proceedings of the Principles and Practice of Constraint Programming, 1998
1997
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997
Proceedings of the Advances in Computing Science, 1997
1996
J. Autom. Reason., 1996
ACM Comput. Surv., 1996
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996
1995
The clp(FD) system.
Proceedings of the JFPLC'95, 1995
NMCC Programming: Constraint Enforcement and Retracting in CC Programming.
Proceedings of the Logic Programming, 1995
WAMCC: Compiling Prolog to C.
Proceedings of the Logic Programming, 1995
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.
Proceedings of the Constraint Processing, Selected Papers, 1995
Proceedings of the Principles and Practice of Constraint Programming, 1995
1994
Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods
Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994
Proceedings of the Programming Language Implementation and Logic Programming, 1994
Proceedings of the Programming Language Implementation and Logic Programming, 1994
Programmation Concurrente avec Contraintes.
Proceedings of the JFPLC'94, 1994
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994
Abduction and Concurrent Logic Languages.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
Proceedings of the Constraints in Computational Logics, First International Conference, 1994
1993
An Incremental Hierarchical Constraint Solver.
Proceedings of the Principles and Practice of Constraint Programming, 1993
A Minimal Extension of the WAM for clp(FD).
Proceedings of the Logic Programming, 1993
Boolean Constraint Solving Using clp(FD).
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993
A Prototype Compiler for Prolog with Boolean Constraints.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
Improving Backward Execution in the Andorra Family of Languages.
Proceedings of the Logic Programming, 1992
Proceedings of the ICCL'92, 1992
1991
A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking.
Proceedings of the Constraint Logic Programming, 1991
Computations, Abstractions and Constraints (abstract).
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
Extending the WAM for Intelligent Backtracking.
Proceedings of the Logic Programming, 1991
1990
Abstract Interpretation for Concurrent Logic Languages.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990
A Metalanguage for Representation and Control in Assumption-based Problem Solvers.
Proceedings of the SEKE'90, 1990
Abstract Interpretation from Prolog to Concurrent Prolog.
Proceedings of the SPLT'90, 1990
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990
1989
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking.
Proceedings of the Logic Programming, 1989
1988
Yet Another Intelligent Backtracking Method.
Proceedings of the Logic Programming, 1988
1987
Programmation logique parallèle 87.
Proceedings of the SPLT'87, 1987
1986
Backtracking intelligent en programmation logique.
Proceedings of the SPLT'86, 1986
Proceedings of the ESOP 86, 1986