Philippe Codognet

Available identifiers

zbMath Open codognet.philippeMaRDI QIDQ1294042

List of research outcomes

Publication	Date of Publication	Type
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 ofGNU Prolog	2012-06-25	Paper
Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture	2010-10-26	Paper
Principles and Practice of Constraint Programming – CP 2003	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Philippe Codognet