Philippe Codognet

Available identifiers

zbMath Open codognet.philippeMaRDI QIDQ1294042

List of research outcomes

Publication	Date of Publication	Type
Comparing QUBO models for quantum annealing: integer encodings for permutation problems	2024-09-24	Paper
Constraint retraction in FD	2024-07-05	Paper
Abstracting soft constraints: framework, properties, examples	2022-09-27	Paper
Path consistency in clp(FD)	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	2015-06-15	Paper
Large-scale parallelism for constraint-based local search: the costas array case study	2015-04-29	Paper
Using sequential runtime distributions for the parallel speedup prediction of SAT local search	2014-02-27	Paper
On the implementation of GNU Prolog	2012-06-25	Paper
Parallel constraint-based local search on the Cell/BE multicore architecture	2010-10-26	Paper
Solving finite domain constraint hierarchies by local consistency and tree search	2010-03-02	Paper
Solving finite domain constraint hierarchies by local consistency and tree search	2010-01-29	Paper
Musical constraint satisfaction problems solved with adaptive search	2005-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q4739600	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4444440	2004-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4417958	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4413056	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4410973	2003-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4536717	2002-08-06	Paper
Constraint retraction in CLP(FD): Formal framework and performance results	2000-01-09	Paper
A simple and efficient Boolean solver for constraint logic programming	1997-07-20	Paper
Compiling constraints in clp(FD)	1996-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830507	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3759966	1986-01-01	Paper

Research outcomes over time

This page was built for person: Philippe Codognet