Philippe Codognet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Comparing QUBO models for quantum annealing: integer encodings for permutation problems International Transactions in Operational Research	2024-09-24	Paper
Constraint retraction in FD	2024-07-05	Paper
Abstracting soft constraints: framework, properties, examples Artificial Intelligence	2022-09-27	Paper
Path consistency in clp(FD) Constraints in Computational Logics	2022-08-16	Paper
Modeling the Costas array problem in QUBO for quantum annealing	2022-08-11	Paper
The virtuality of constraints and the constraints of virtuality Constraints	2015-06-15	Paper
Large-scale parallelism for constraint-based local search: the costas array case study Constraints	2015-04-29	Paper
Using sequential runtime distributions for the parallel speedup prediction of SAT local search Theory and Practice of Logic Programming	2014-02-27	Paper
On the implementation of GNU Prolog Theory and Practice of Logic Programming	2012-06-25	Paper
Parallel constraint-based local search on the Cell/BE multicore architecture Studies in Computational Intelligence	2010-10-26	Paper
Solving finite domain constraint hierarchies by local consistency and tree search Lecture Notes in Computer Science	2010-03-02	Paper
Solving finite domain constraint hierarchies by local consistency and tree search Journal of Experimental & Theoretical Artificial Intelligence	2010-01-29	Paper
Musical constraint satisfaction problems solved with adaptive search Soft Computing	2005-04-04	Paper
scientific article; zbMATH DE number 2083802 (Why is no real title available?)	2004-08-06	Paper
scientific article; zbMATH DE number 2033306 (Why is no real title available?)	2004-01-27	Paper
scientific article; zbMATH DE number 1956608 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1950443 (Why is no real title available?)	2003-07-17	Paper
scientific article; zbMATH DE number 1946625 (Why is no real title available?)	2003-07-07	Paper
scientific article; zbMATH DE number 1759706 (Why is no real title available?)	2002-08-06	Paper
Constraint retraction in CLP(FD): Formal framework and performance results Constraints	2000-01-09	Paper
A simple and efficient Boolean solver for constraint logic programming Journal of Automated Reasoning	1997-07-20	Paper
Compiling constraints in clp(FD) The Journal of Logic Programming	1996-01-01	Paper
scientific article; zbMATH DE number 4106251 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4009855 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Philippe Codognet